Résultats de la recherche "Yves Bertot"

Theorem Proving in High Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings

Theorem Proving in High Order Logics: 12th International Con…

de Yves Bertot

5 points

J'aiJe veux

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

de Yves Bertot · traduction G. Huet

9 points

J'aiJe veux