Description: Higher order logic theorem proving and its applications:

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:	Automatic theorem proving > Congresses Logic, Symbolic and mathematical > Congresses

Physical Description:	xiii, 568 p. : ill. ; 22 cm.
Bibliography:	Includes bibliographical references.
ISBN:	0444898808