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

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

book 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

pdf

Author: Robert S. Boyer J Strother Moore (auth.) Mark E. Stickel (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

djvu

Author: Robert S. Boyer J Strother Moore (auth.) Mark E. Stickel (eds.)
Language: English
Year: 1990

00

26.01.2024

0

0