Taschenbuch

Auf Lager bei iMusic

Nicht verfügbare Artikel anzeigen

Releases von Thierry Coquand

Cover for Thierry Coquand · Types for Proofs and Programs: International Workshop, Types'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers - Lecture Notes in Computer Science (Taschenbuch) (2000)
Taschenbuch
Types for Proofs and Programs: I...
Thierry Coquand