• Logic for Programming, Artific...
  • *Holdings*

*Result*: Logic for Programming, Artificial Intelligence, and Reasoning

*Title*:
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
*Author/editor-in-chief*:
Cervesato, Iliano (Herausgeber); Veith, Helmut (Herausgeber); Voronkov, Andrei (Herausgeber)
*Edition*:
1st ed. 2008
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIV, 714 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 5330
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Logic for Programming, Artificial Intelligence, and Reasoning. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - ISBN 9783540894384
*Subject Added Keywords*:
*ISBN*:
9783540894391 ; 354089439X ; 978--354089438-4 (Sekundärausgabe) ; 978--354089476-6 (Sekundärausgabe)
*DOI*:
10.1007/978-3-540-89439-1

*Additional information*

*Additional functions*