Author books / Книги автора Matthias Baaz Alexander Leitsch (auth.) Franz Baader Andrei Voronkov (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Matthias Baaz Alexander Leitsch (auth.) Franz Baader Andrei Voronkov (eds.)

book Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

pdf

Author: Matthias Baaz Alexander Leitsch (auth.) Franz Baader Andrei Voronkov (eds.)
Language: English
Year: 2005

00

27.01.2024

2

0

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

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

pdf

Author: Franz Baader Andrei Voronkov
Language: English
Year: 2005

00

27.01.2024

0

0