• Logic for Programming, Artific...
  • Inhaltsangabe

Treffer: Logic for Programming, Artificial Intelligence, and Reasoning

Titel:
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov
Verantwortlich:
Cervesato, Iliano (Herausgeber); Veith, Helmut (Herausgeber); Voronkov, Andrei (Herausgeber)
Ausgabe:
1st ed. 2008
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 714 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 5330
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Logic for Programming, Artificial Intelligence, and Reasoning. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - ISBN 9783540894384
Schlagworte:
ISBN:
9783540894391 ; 354089439X ; 978--354089438-4 (Sekundärausgabe) ; 978--354089476-6 (Sekundärausgabe)
DOI:
10.1007/978-3-540-89439-1

Zusatz-Informationen

Zusatz-Funktionen