|
 
|
[BDD07] Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs
Conférence Internationale avec comité de lecture : LPAR'07 Logic for Programming Artificial Intelligence and Reasoning, Yerevan (Armenia), January 2007, pp.151-165, Series LNAI,
motcle:
Collaboration:
INRIA
BibTeX
| @inproceedings { | |||
| BDD07, | |||
| title | = | "{Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs}", | |
| author | = | " R. Bonichon and D. Delahaye and D. Doligez ", | |
| booktitle | = | "{LPAR'07 Logic for Programming Artificial Intelligence and Reasoning, Yerevan (Armenia)}", | |
| year | = | 2007, | |
| month | = | "January", | |
| series | = | "LNAI", | |
| pages | = | "151-165", | |
| } | |||
