Online Library TheLib.net » Author books / Книги автора Ricky Butler (auth.) Victor A. Carreño César A. Muñoz Sofiène Tahar (eds.)
book Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings
pdf
00
27.01.2024
0
0
Read online
book Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings
pdf
00
26.01.2024
0
0
Read online