TY  - BOOK
AU  - Voronkov,Andrei
ED  - LPAR 2004
TI  - Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540322757 (electronic bk.)
PY  - 2005///
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/10.1007/b106931
ER  -