Author books / Книги автора Gilles Dowek (auth.) Robert Nieuwenhuis (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Gilles Dowek (auth.) Robert Nieuwenhuis (eds.)

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: Gilles Dowek (auth.) Robert Nieuwenhuis (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0