Academic Journal
View in EDS
Linked Full Text

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

Bibliographic Details
Title: 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
Authors: Iman Poernomo
Source: The Computer Journal. 49:130-131
Publisher Information: Oxford University Press (OUP), 2005.
Publication Year: 2005
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
Document Type: Article
Language: English
ISSN: 1460-2067
0010-4620
DOI: 10.1093/comjnl/bxh141
Access URL: https://academic.oup.com/comjnl/article/49/1/130/418995
Accession Number: edsair.doi.dedup.....c680040797e6e84a9e1d409f96ea1f0b
Database: OpenAIRE
Description
ISSN:14602067
00104620
DOI:10.1093/comjnl/bxh141