Logic and computation: interactive proof with Cambridge LCF
Cambridge [u.a.]: Cambridge Univ. Pr, 1987
Monographie, Gedruckte Ressource
- XIII, 302 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Logic and computation: interactive proof with Cambridge LCF
|
---|---|
Verantwortlichkeitsangabe: | Lawrence C. Paulson |
Autor/in / Beteiligte Person: | Paulson, Lawrence C. |
Verwandtes Werk: | |
Veröffentlichung: | Cambridge [u.a.]: Cambridge Univ. Pr, 1987 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIII, 302 S. : graph. Darst. |
ISBN: | 0521346320 : £ 27.50 |
Schlagwort: |
|
Sonstiges: |
|