TY  - BOOK
AU  - Bertot, Yves
AU  - Casteran, Pierre
TI  - Interactive Theorem Proving and Program Development : coq'art the Calculus of Inductive Constructions
SN  - 3540208542
U1  - 511.3 BER 
PY  - 2004///
CY  - Berlin
PB  - Springer Verlag
KW  - Automatic theorem proving
ER  -