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

Checking for file health...

Author:L.J.M. Claesen, M.J.C. Gordon
Language:English
Release year:1993
File size:26.244 MB
Number of page:555

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Similar 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

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.