Normal view MARC view ISBD view

Higher order logic theorem proving and its applications : proceedings / International Workshop...; ed. Luc J. M. Claesen, Michael J. C. Gordon

Corporate Author (Main) International Workshop on Higher Order Logic Theorem Proving and its Applications, Leuven, 1992 Secondary Author Claesen, Luc
Gordon, Michael J. C. Country Holanda. Publication Amsterdam : North-Holland, 1993 Description XIII, 568 p. ; 23 cm Series IFIP transactions A.. Computer science and technology , 20 ISBN 0-444-89880-8 CDU 510.6:681.3 681.3:510.6

Tags from this library: No tags from this library for this title. Log in to add tags.