Inductive logic programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017 : revised selected papers

Inductive logic programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017 : revised selected papers

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ILP Orléans (VerfasserIn)
Weitere Verfasser:	Lachiche, Nicolas (HerausgeberIn), Vrain, Christel (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham Springer [2018]
Schriftenreihe:	Lecture Notes in Computer Science 10759
Schlagworte:	Computer science Computer programming Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Programming Techniques Informatik Induktive logische Programmierung Konferenzschrift
Online-Zugang:	BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers
Veröffentlicht: (2016)

Inductive logic programming 28th international conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, proceedings
Veröffentlicht: (2018)

Deductive software verification – the keY book from theory to practice
Veröffentlicht: (2016)

Functional and logic programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings
Veröffentlicht: (2016)

Grand timely topics in software engineering International summer school GTTSE 2015, Braga, Portugal, August 23-29, 2015 : tutorial lectures
Veröffentlicht: (2017)

Model checking software 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings
Veröffentlicht: (2016)

Programming Languages and Systems 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings
Veröffentlicht: (2021)

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings
Veröffentlicht: (2023)

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Veröffentlicht: (2015)

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings
Veröffentlicht: (2024)

Functional and logic programming 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, proceedings
Veröffentlicht: (2020)

Integrated formal methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016: proceedings
Veröffentlicht: (2016)

Intelligent computer mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings
Veröffentlicht: (2017)

Static analysis 23rd international symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings
Veröffentlicht: (2016)

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Veröffentlicht: (2015)

Automated reasoning 9th International Joint Conference, IJCAR 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings
Veröffentlicht: (2018)

Static analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings
Veröffentlicht: (2015)

Fundamental approaches to software engineering 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
Veröffentlicht: (2016)

Model checking software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings
Veröffentlicht: (2018)

Agents and artificial intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016 : revised selected papers
Veröffentlicht: (2017)

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Veröffentlicht: (2019)

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Veröffentlicht: (2015)

Informatik Eine einführende Übersicht Erster Teil
von: Bauer, Friedrich L. 1924-2015
Veröffentlicht: (1982)

Abstract state machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018 : proceedings
Veröffentlicht: (2018)

Theory and applications of formal argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers
Veröffentlicht: (2018)

Hardware and software verification and testing : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : proceedings
Veröffentlicht: (2016)

Formal methods and software engineering 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings
Veröffentlicht: (2017)

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017 : proceedings
Veröffentlicht: (2017)

Monotonicity in logic and language second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020 : proceedings
Veröffentlicht: (2020)

Theoretical aspects of computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings
Veröffentlicht: (2017)

Formal Methods for the quantitative evaluation of collective adaptive systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures
Veröffentlicht: (2016)

ModelEd, testEd, trustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday
Veröffentlicht: (2017)

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy : Revised Tutorial Lectures
Veröffentlicht: (2015)

Multi-agent systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018 : revised selected papers
Veröffentlicht: (2019)

Hardware and software: verification and testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, proceedings
Veröffentlicht: (2015)

Principled software development essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday
Veröffentlicht: (2018)

Concrete Semantics With Isabelle/HOL
von: Nipkow, Tobias, et al.
Veröffentlicht: (2014)

Engineering multi-agent systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016 : revised, selected, and invited papers
Veröffentlicht: (2016)

Formal Engineering for Industrial Software Development Using the SOFL Method
von: Liu, Shaoying
Veröffentlicht: (2004)

Introduction to Scilab For Engineers and Scientists
von: Nagar, Sandeep
Veröffentlicht: (2017)