Logic for Programming, Artificial Intelligence, and Reasoning | 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings | ISBN 9783540322757

Logic for Programming, Artificial Intelligence, and Reasoning

11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

herausgegeben von Franz Baader und Andrei Voronkov
Mitwirkende
Herausgegeben vonFranz Baader
Herausgegeben vonAndrei Voronkov
Buchcover Logic for Programming, Artificial Intelligence, and Reasoning  | EAN 9783540322757 | ISBN 3-540-32275-2 | ISBN 978-3-540-32275-7

Logic for Programming, Artificial Intelligence, and Reasoning

11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

herausgegeben von Franz Baader und Andrei Voronkov
Mitwirkende
Herausgegeben vonFranz Baader
Herausgegeben vonAndrei Voronkov
Includes supplementary material: sn. pub/extras