Treffer: Adapting Proofs-as-Programs

Titel:
Adapting Proofs-as-Programs : The Curry--Howard Protocol / by Iman Poernomo, John N. Crossley, Martin Wirsing
Beteiligt:
Poernomo, Iman (Verfasser); Crossley, John N (Verfasser); Wirsing, Martin (Verfasser)
Ausgabe:
1st ed. 2005
Veröffent­licht:
New York, NY : Springer New York, 2005
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 420 Seiten) : 54 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Monographs in Computer Science, ISSN 2512-5486
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Poernomo, Iman. Adapting Proofs-as-Programs. - New York, NY : Springer New York, 2005. - ISBN 9780387237596
RVK-Notation:
ZX 9520 ST 230 ST 125
Schlagworte:
ISBN:
9780387281834 ; 0387281835 ; 0387237593 ; 0387503722 ; 1441920145 ; 9780387237596 (Sekundärausgabe) ; 9780387503721 (Sekundärausgabe) ; 9781441920140 (Sekundärausgabe)
DOI:
10.1007/0-387-28183-5

Zusatz-Informationen

Zusatz-Funktionen