2007

Conférence Internationale avec comité de lecture

• [BDD07] R. Bonichon, D. Delahaye, D. Doligez. "Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs", LPAR'07 Logic for Programming Artificial Intelligence and Reasoning, Yerevan (Armenia), January 2007, pp.151-165, Series LNAI,