Isabelle, HOL: a proof assistant for higher order logic
Berlin [u.a.]: Springer, 2002
Monographie, Gedruckte Ressource
- XIII, 218 S. : graph. Darst. ; 24 cm
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Isabelle, HOL: a proof assistant for higher order logic
|
---|---|
Verantwortlichkeitsangabe: | Tobias Nipkow ; Lawrence C. Paulson ; Markus Wenzel |
Autor/in / Beteiligte Person: | Nipkow, Tobias (1958-) ; Paulson, Lawrence C. ; Wenzel, Markus |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2002 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIII, 218 S. : graph. Darst. ; 24 cm |
ISBN: | 3540433767 kart. : EUR 32.10 |
Schlagwort: |
|
Sonstiges: |
|