International Workshop on Higher Order Logic Theorem Proving and its Applications,
Higher order logic theorem proving and its applications : proceedings / International Workshop... ; ed. Luc J. M. Claesen, Michael J. C. Gordon
Higher order logic theorem proving and its applications : proceedings / International Workshop... ; ed. Luc J. M. Claesen, Michael J. C. Gordon
. - Amsterdam : North-Holland, 1993
. - XIII, 568 p. 23 cm
. - (IFIP transactions A., Computer science and technology; 20)
0-444-89880-8 (Brochado)
510.6:681.3
681.3:510.6