Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92/

Corporate Authors: IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Interuniversity Micro-Electronics Center, Commission of the European Communities
Other Authors: Claesen, Luc J. M., Gordon, Michael J. C.,
Format: Book
Language:English
Published: Amsterdam: North-Holland, 1993
Series:IFIP transactions.. A, Computer science and technology 20
Subjects:

Similar Items