Online Library TheLib.net » Author books / Книги автора Jean-Raymond Abrial Dominique Cansell (auth.) David Basin Burkhart Wolff (eds.)
book Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
pdf
00
27.01.2024
0
0
Read online
book Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
pdf
00
26.01.2024
0
0
Read online