Theorem proving in higher order logics: proceedings
Berlin [u.a.]: Springer, 1996
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VIII, 446 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Theorem proving in higher order logics: proceedings
|
---|---|
Verantwortlichkeitsangabe: | 9th International Conference, TPHOLs '96, Turku, Finland, August 26 - 30, 1996. J. von Wright ... (ed.) |
Autor/in / Beteiligte Person: | Wright, Joakim von |
Körperschaft: | TPHOLs |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1996 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VIII, 446 S. |
ISBN: | 3540615873 : DM 94.00 |
Schlagwort: |
|
Sonstiges: |
|