Cover Image

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: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Application(:, Commission of the European Communities, Interuniversity Micro-Electronics Center
Other Authors: Gordon, Michael J. C., Claesen, Luc J. M.
Language:English
Published: Amsterdam New York: North-Holland, 1993.
Series:IFIP transaction, A-20
Subjects:
Logic, symbolic and mathematic -- > Congresses
Automatic theorem proving -- > Congresses

Similar Items