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