Academic Journal
Yves Bertot and Pierre Casteran Interactive Theorem Proving and Program Development (Coq'Art: The Calculus of Inductive Constructions). Texts in Theoretical Computer Science. An EATCS Series. (2004). ISBN 3-540-20854-2. 469pp. Hardcover
| Τίτλος: | Yves Bertot and Pierre Casteran Interactive Theorem Proving and Program Development (Coq'Art: The Calculus of Inductive Constructions). Texts in Theoretical Computer Science. An EATCS Series. (2004). ISBN 3-540-20854-2. 469pp. Hardcover |
|---|---|
| Συγγραφείς: | Iman Poernomo |
| Πηγή: | The Computer Journal. 49:130-131 |
| Στοιχεία εκδότη: | Oxford University Press (OUP), 2005. |
| Έτος έκδοσης: | 2005 |
| Θεματικοί όροι: | 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences |
| Τύπος εγγράφου: | Article |
| Γλώσσα: | English |
| ISSN: | 1460-2067 0010-4620 |
| DOI: | 10.1093/comjnl/bxh141 |
| Σύνδεσμος πρόσβασης: | https://academic.oup.com/comjnl/article/49/1/130/418995 |
| Αριθμός Καταχώρησης: | edsair.doi.dedup.....c680040797e6e84a9e1d409f96ea1f0b |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 14602067 00104620 |
|---|---|
| DOI: | 10.1093/comjnl/bxh141 |