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

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

book Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

pdf

Author: Ian Horrocks (auth.) Andrei Voronkov (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0