Bibliografie

Ergebnisse für "crossley, john n"

Ähnliche Suchbegriffe:

1 - 5 von 5
Zur Detailsuche

Ergebnisse

Adapting Proofs-as-Programs
eBook - The Curry--Howard Protocol, Monographs in Computer Science
Poernomo, Iman/Wirsing, Martin/Crossley, John N
SPRINGER
Erschienen am 27.04.2007
Format: PDF
€ 173,95
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Logical Methods
In Honor of Anil Nerodes Sixtieth Birthday, 2 Bde, Progress in Computer Science and Applied Logic 12
John N Crossley/Jeffrey B Remmel/Richard Shore et al
Springer Basel AG
Erschienen am 14.02.2013
€ 160,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Adapting Proofs-as-Programs
The Curry-Howard Protocol, Monographs in Computer Science
Poernomo, Iman/Crossley, John N/Wirsing, Martin
Springer Verlag GmbH
Erschienen am 19.11.2010
€ 160,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Adapting Proofs-as-Programs
The Curry-Howard Protocol, Monographs in Computer Science
Poernomo, Iman/Crossley, John N/Wirsing, Martin
Springer Verlag GmbH
Erschienen am 21.06.2005
€ 160,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Logical Methods
In Honor of Anil Nerodes Sixtieth Birthday, Progress in Computer Science and Applied Logic 12
John N Crossley/Jeffrey B Remmel/Richard Shore et al
Springer Basel AG
Erschienen am 26.01.1994
€ 160,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen