Treffer: Logic for programming, artificial intelligence, and reasoning
Titel:
Logic for programming, artificial intelligence, and reasoning : 10th international conference ; proceedings / LPAR 2003, Almaty, Kazakhstan, September 22 - 26, 2003. Moshe Y. Vardi ; Andrei Voronkov (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2003
Umfang:
XIII, 436 Seiten ; 24 cm, 680 gr.
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; Vol. 2850 : Lecture notes in artificial intelligence
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540201017