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

KOLEKSI TERBUKA

Call Number: QA 76.9 .A96 P7 1992
Accession Item Category Format Status Notes
1000399731 Open Shelf Book AVAILABLE

Similar Items