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
|
