| 000 | 00524nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 180620b2004 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a3540208542 | ||
| 082 | _a511.3 BER | ||
| 100 | _aBertot, Yves | ||
| 245 | _aInteractive Theorem Proving and Program Development : coq'art the Calculus of Inductive Constructions | ||
| 260 |
_aBerlin _bSpringer Verlag _c2004 |
||
| 300 | _axxv, 469p. | ||
| 365 | _a.00 | ||
| 650 | _aAutomatic theorem proving | ||
| 700 | _aCasteran, Pierre | ||
| 906 | _a2db4b2f87f0000010122cbaad4ee206f | ||
| 999 |
_c59919 _d59919 |
||