Konferenzschrift | Kongress
Logic for programming, artificial intelligence, and reasoning : 18th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642287169
3642287166
- Dimensions
-
24 cm
- Extent
-
XI, 446 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Lecture notes in computer science ; 7180 : Advanced research in computing and software science
- Keyword
-
Logische Programmierung
Programmierlogik
Automatisches Beweisverfahren
Künstliche Intelligenz
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:03 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Bjørner, Nikolaj
- Voronkov, Andrei
- LPAR (18 : 2012 : Mérida, Venezuela)
- Springer
Time of origin
- 2012
Other Objects (12)
Reasoning with logic programming
Logic programming : 18th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 15th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 8th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 10th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 11th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 13th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 19th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 17th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 12th international conference ; proceedings
Inductive logic programming : 18th international conference ; proceedings
Reasoning with logic programming
Logic programming : 18th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 15th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 8th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 10th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 11th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 13th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 19th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 17th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 12th international conference ; proceedings
Inductive logic programming : 18th international conference ; proceedings
Reasoning with logic programming
Logic programming : 18th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 15th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 8th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 10th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 11th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 13th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 19th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 17th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 12th international conference ; proceedings