Description: Higher order logic theorem proving and its applications :

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

Physical Description:	xiii, 568 p.: ill.; 23 cm..
Bibliography:	Includes bibliographical references
ISBN:	0444898808 (acid-free)
ISSN:	09265473 0926-5473;