TY  - BOOK
AU  - Dershowitz,Nachum
AU  - Voronkov,Andrei
ED  - LPAR 2007
TI  - Logic for programming, artificial intelligence, and reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : Proceedings 
SN  - 3540755586
PY  - 2007///
CY  - New York
PB  - Springer
KW  - Logic programming
KW  - Congresses
KW  - Automatic theorem proving
KW  - Artificial intelligence
N1  - Includes bibliogr. references and index
ER  -