Higher order logic theorem proving and its applications.
Contributors: Claesen, Luc J. M.; Gordon, M. J. C.; International Federation for Information Processing.
Series: IFIP transactions -- A-20.
Publisher: North-Holland
Published: 1993
Language: eng
Number of pages: 568