TY  - BOOK
AU  - Baader Franz
AU  -  Voronkov Andrei, 
TI  - Logic for Programming, Artificial Intelligence, and Resoning : 11th International Conference, LPAR 2004 Montevideo, Uruguay, Mar
SN  - 3-540-25236-3
U1  - 1.535 
PY  - 2005///
CY  - London
PB  - Spriger
N1  - Baader Franz & Voronkov Andrei: Logic for Programming, Artificial Intelligence, and Resoning : 11th International Conference, LPAR 2004 Montevideo, Uruguay, March 2005 Prodeedings.  London.  Spriger, 2005. 3-540-25236-3--(001.535BAA)
ER  -