Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers /
Edmund M. Clarke, Andrei Voronkov (eds.).
- Berlin ; New York : Springer, 2010.
- x, 516 p. : ill. ; 24 cm.
- Lecture notes in computer science, 6355 0302-9743 ; Lecture notes in artificial intelligence LNCS sublibrary. SL 7, Artificial intelligence .
- Lecture notes in computer science ; 6355. Lecture notes in computer science. Lecture notes in artificial intelligence. LNCS sublibrary. SL 7, Artificial intelligence. .
Includes bibliographical references and index.
9783642175107 (pbk. : acidfree paper) 3642175104 (pbk. : acidfree paper)
2010939948
015731229 Uk
Logic programming--School of Pure and Applied Sciences--Congresses.
Artificial intelligence--School of Pure and Applied Sciences--Congresses.
Automatic theorem proving--School of Pure and Applied Sciences--Congresses.
QA76.63 / .L73 2010
006.3
Includes bibliographical references and index.
9783642175107 (pbk. : acidfree paper) 3642175104 (pbk. : acidfree paper)
2010939948
015731229 Uk
Logic programming--School of Pure and Applied Sciences--Congresses.
Artificial intelligence--School of Pure and Applied Sciences--Congresses.
Automatic theorem proving--School of Pure and Applied Sciences--Congresses.
QA76.63 / .L73 2010
006.3