Konferenzschrift | Kongress
Logic for programming, artificial intelligence, and reasoning : 8th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540429579
3540429573
- Dimensions
-
24 cm
- Extent
-
XV, 738 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 2250 : Lecture notes in artificial intelligence
- Keyword
-
Logische Programmierung
Automatisches Beweisverfahren
Programmierlogik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris ;Tokyo
- (who)
-
Springer
- (when)
-
2001
- Contributor
-
Nieuwenhuis, Robert
LPAR (8 : 2001 : Havanna)
- 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:32 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
- Nieuwenhuis, Robert
- LPAR (8 : 2001 : Havanna)
- Springer
Time of origin
- 2001
Other Objects (12)
Logic programming and nonmonotonic reasoning : 8th international conference ; proceedings
Reasoning with logic programming
Logic for programming, artificial intelligence, and reasoning : 15th 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 : 17th 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
Inductive logic programming : 8th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 8th international conference ; proceedings
Reasoning with logic programming
Logic for programming, artificial intelligence, and reasoning : 15th 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 : 17th 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
Inductive logic programming : 8th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 8th international conference ; proceedings
Reasoning with logic programming
Logic for programming, artificial intelligence, and reasoning : 15th 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 : 17th 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