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

*Title*:
Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov
*Author/editor-in-chief*:
Sutcliffe, Geoff (Herausgeber); Voronkov, Andrei (Herausgeber)
*Edition*:
1st ed. 2005
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIV, 744 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 3835
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Logic for Programming, Artificial Intelligence, and Reasoning. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540305538
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*ISBN*:
9783540316503 ; 3540316507 ; --354030553-X ; --354081818-9 ; 978--354030553-8 (Sekundärausgabe) ; 978--354081818-2 (Sekundärausgabe)
*DOI*:
10.1007/11591191

*Additional information*

*Additional functions*