Online Library TheLib.net » Author books / Книги автора L.J.M. Claesen M.J.C. Gordon
book Higher Order Logic Theorem Proving and its Applications
Higher Order Logic Theorem Proving and its Applications
djvu
00
28.01.2024
3
0
Read online
book Higher Order Logic Theorem Proving and its Applications. Proceedings of the IFIP Tc10/wg 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications–HOL '92 Organized by CHEOPS ESPRIT BRA 3215, Leuven, Belgium, 21–24 September 1
Higher Order Logic Theorem Proving and its Applications. Proceedings of the IFIP Tc10/wg 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications–HOL '92 Organized by CHEOPS ESPRIT BRA 3215, Leuven, Belgium, 21–24 September 1
pdf
00
27.01.2024
0
0
Read online