Book serie: / Книги серии: Lecture Notes in Computer Science - Lecture Notes Artificial Intelligence 3632 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science - Lecture Notes Artificial Intelligence 3632

book Automated deduction, CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings

Automated deduction, CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings

pdf

Author: Robert Nieuwenhuis
Language: English
Year: 2005

00

27.01.2024

1

0