Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order 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
Amsterdam [u.a.]: North-Holland, 1993
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- XII, 568 S. : graph. Darst. .
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order 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
|
---|---|
Verantwortlichkeitsangabe: | ed. by Luc J. M. Claesen .. |
Autor/in / Beteiligte Person: | Claesen, Luc J. |
Körperschaft: | International Federation for Information Processing, Working Group Digital Systems Descriptions and Design Tools ; International Workshop on Higher Order Logic Theorem Proving and Its Applications |
Verwandtes Werk: | |
Veröffentlichung: | Amsterdam [u.a.]: North-Holland, 1993 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XII, 568 S. : graph. Darst. . |
ISBN: | 0444898808 |
Schlagwort: |
|
Sonstiges: |
|