Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
(9783642058806)
Preis von (3 Angebote)82.79 EUR
Weitere Informationen
Compare products, prices, offers and stores on Comparor to make a better informed purchase.
(9783642058806)
Hansebooks (9783337911027) | And the, Of Logic
Hansebooks (9783337903787) | Inductive studies in theology
Alpha Editions (9789353979218) | Hebrew syntax by