Communication Dans Un Congrès
Année : 2002
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125073
Soumis le : vendredi 6 mars 2015-10:57:51
Dernière modification le : jeudi 18 juin 2020-10:18:03
Citer
David Delahaye. Free-style Theorem Proving. Proceedings of Theorem Proving in Higher Order Logics (TPHOLs), Jan 2002, Hampton, VA, United States. pp.164-181, ⟨10.1007/3-540-45685-6_12⟩. ⟨hal-01125073⟩
13
Consultations
0
Téléchargements