Biblioteca da Universidade do Minho

Your cart is empty.
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