TY  - BOOK
AU  - Dershowitz, Nachum
AU  - Voronkov, Andrei
TI  - Logic for Programming Artificial Intelligence and Reasoning 14th International Conference Lpar 2007 Yerevan Armenia October 15-19, 2007 Proceedings 
SN  - 9783540755586
U1  - 006.333 
PY  - 2007///
CY  - Berlin : 
PB  - Springer, 
KW  - Artificial Intelligence Congresses
KW  - Automatic Theorem Proving Congresses
KW  - Logic Programming Congresses
N1  - YY
UR  - https://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/978-3-540-75558-6.pdf
ER  -