Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92
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
Bok Engelsk 1993 IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
Annen tittel | |
---|---|
Utgitt | Amsterdam : North-Holland , 1993
|
Omfang | xiii, 568 s. : fig.
|
Emner | |
ISBN | 0444898808
|