Interactive Theorem Proving and Program Development: Coq’Art
GPTKB entity
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book
|
| gptkbp:author |
gptkb:Yves_Bertot
gptkb:Pierre_Castéran |
| gptkbp:ISBN |
978-3-540-20854-9
|
| gptkbp:language |
English
|
| gptkbp:pages |
469
|
| gptkbp:publicationYear |
2004
|
| gptkbp:publisher |
gptkb:Springer
|
| gptkbp:series |
gptkb:Texts_in_Theoretical_Computer_Science._An_EATCS_Series
|
| gptkbp:subject |
theorem proving
program development Coq (proof assistant) |
| gptkbp:bfsParent |
gptkb:Yves_Bertot
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Interactive Theorem Proving and Program Development: Coq’Art
|