Author books / Книги автора Tobias Nipkow (auth.) Jim Grundy Malcolm Newey (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Tobias Nipkow (auth.) Jim Grundy Malcolm Newey (eds.)

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