Higher order logic theorem proving and its applications
Subtitle: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
By: organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon.
Contributors: Claesen, Luc J. M.; Gordon, Michael J. C., 1948-; Interuniversity Micro-Electronics Center.; Commission of the European Communities.
Series: IFIP transactions.; A-20
Publisher: North-Holland
Published: 1993
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 568
Subjects: Automatic theorem proving -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references.