Logic for Programming, Artificial Intelligence, and Resoning : 11th International Conference, LPAR 2004 Montevideo, Uruguay, Mar
Baader Franz
Logic for Programming, Artificial Intelligence, and Resoning : 11th International Conference, LPAR 2004 Montevideo, Uruguay, Mar - London Spriger 2005 - 562p
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)
ENGLISH
3-540-25236-3
1.535 / BAA
Logic for Programming, Artificial Intelligence, and Resoning : 11th International Conference, LPAR 2004 Montevideo, Uruguay, Mar - London Spriger 2005 - 562p
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)
ENGLISH
3-540-25236-3
1.535 / BAA
