Konferenzschrift | Kongress
Logic for programming, artificial intelligence, and reasoning : 15th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540894384
- Dimensions
-
24 cm
- Extent
-
XIV, 714 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 5330 : Lecture notes in artificial intelligence
- Keyword
-
Logische Programmierung
Automatisches Beweisverfahren
Programmierlogik
Inferenz
Terminologische Logik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2008
- Contributor
-
Cervesato, Iliano
LPAR (15 : 2008 : Doha)
- 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, 1:45 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
- Cervesato, Iliano
- LPAR (15 : 2008 : Doha)
- Springer
Time of origin
- 2008
Other Objects (12)
Reasoning with logic programming
Logic for programming, artificial intelligence, and reasoning : 17th 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 : 13th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 11th 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 : 12th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 18th international conference ; proceedings
Logic for programming and automated reasoning : proceedings
Logic for programming, artificial intelligence, and reasoning : 16th international conference ; revised selected papers
Reasoning with logic programming
Logic for programming, artificial intelligence, and reasoning : 17th 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 : 13th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 11th 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 : 12th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 18th international conference ; proceedings
Logic for programming and automated reasoning : proceedings
Logic for programming, artificial intelligence, and reasoning : 16th international conference ; revised selected papers
Reasoning with logic programming
Logic for programming, artificial intelligence, and reasoning : 17th 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 : 13th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 11th 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 : 12th international conference ; proceedings
Logic for programming, artificial intelligence, and reasoning : 18th international conference ; proceedings
Logic for programming and automated reasoning : proceedings