Online Library TheLib.net » Author books / Книги автора Mauro Gargano Mark Hillebrand Dirk Leinenbach Wolfgang Paul (auth.) Joe Hurd Tom Melham (eds.)
book Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
pdf
00
27.01.2024
0
0
Read online
book Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
pdf
00
26.01.2024
0
0
Read online