ID:DA07102122
International Workshop on HIgher Order Logic Theorem Proving and Its Applications
Workshop on Higher Order Logic Theorem Proving and Its Applications, IFIP TC10/WG10.2 International
Search authors sharing the same name
E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.)
Springer-Verlag c1995 Lecture notes in computer science 971
: gw
Available at 54 libraries
Thomas F. Melham, Juanito Camilleri, (eds.)
Springer-Verlag c1994 Lecture notes in computer science 859
: gw , : us
Available at 60 libraries
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
North-Holland 1993 IFIP transactions A . Computer science and technology ; 20
Available at 19 libraries