%0 Book %1 series/txtcs/BertotC04 %A Bertot, Yves %A Castéran, Pierre %B Texts in Theoretical Computer Science. An EATCS Series %D 2004 %I Springer %K dblp %P 1-472 %T Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions %@ 978-3-662-07964-5

@book{series/txtcs/BertotC04, added-at = {2015-09-09T00:00:00.000+0200}, author = {Bertot, Yves and Castéran, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2f3efe3e802956ef63b8b8fb5696108d6/dblp}, ee = {http://dx.doi.org/10.1007/978-3-662-07964-5}, interhash = {9377b95a96ecaf45aaf1023f46ac002c}, intrahash = {f3efe3e802956ef63b8b8fb5696108d6}, isbn = {978-3-662-07964-5}, keywords = {dblp}, pages = {1-472}, publisher = {Springer}, series = {Texts in Theoretical Computer Science. An EATCS Series}, timestamp = {2015-09-10T11:41:56.000+0200}, title = {Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions}, year = 2004 }