*Result*: Logic for programming and automated reasoning
*Title*:
Logic for programming and automated reasoning : 7th international conference ; proceedings / LPAR 2000, Reunion Island, France, November 6 - 10, 2000. Michel Parigot ; Andrei Voronkov (ed.)
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Springer, 2000
*Physical description scale*:
XIII, 486 Seiten : Diagramme ; 24 cm
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 1955 : Lecture notes in artificial intelligence
*show_all_volumes*
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
3540412859