Free-style Theorem Proving - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Free-style Theorem Proving

Dates et versions

hal-01125073 , version 1 (06-03-2015)

Identifiants

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

Altmetric

Partager

Gmail Facebook X LinkedIn More