TY  - BOOK
AU  - Hermann,Miki
AU  - Voronkov,Andrei
ED  - LPAR 2006
ED  - SpringerLink (Online service)
TI  - Logic for Programming, Aritficial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings 
SN  - 9783540482826 (electronic bk.)
AV  - QA76.63 .L735 2006
U1  - 006.3 22
PY  - 2006///
CY  - Berlin Heidelberg
PB  - Springer-Verlag GmbH.
KW  - Logic programming
KW  - Congresses
KW  - Automatic theorem proving
KW  - Artificial intelligence
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/http://dx.doi.org/10.1007/11916277
ER  -