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

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

book Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

djvu

Author: Tobias Nipkow (auth.) Jim Grundy Malcolm Newey (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0