Result: Logic for programming, artificial intelligence, and reasoning

*Title*:

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.)

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Berlin : Springer, 2003

*Physical description scale*:

XIII, 436 Seiten ; 24 cm, 680 gr.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; Vol. 2850 : Lecture notes in artificial intelligence
*show_all_volumes*

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540201017

*Result*: Logic for programming, artificial intelligence, and reasoning