Treffer: Logic for programming, artificial intelligence, and reasoning
Titel:
Logic for programming, artificial intelligence, and reasoning : 8th international conference ; proceedings / LPAR 2001, Havana, Cuba, December 3 - 7, 2001. Robert Nieuwenhuis ; Andrei Voronkov (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2001
Umfang:
XV, 738 ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 2250 : Lecture notes in artificial intelligence
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540429573