Skip to Main content Skip to Navigation
Conference papers

Une fois qu'on n'a pas trouvé de preuve, comment le faire comprendre à un assistant de preuve?

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03201265
Contributor : Jean Goubault-Larrecq <>
Submitted on : Sunday, April 18, 2021 - 11:00:46 AM
Last modification on : Saturday, May 1, 2021 - 3:38:47 AM

Identifiers

  • HAL Id : hal-03201265, version 1

Citation

Jean Goubault-Larrecq. Une fois qu'on n'a pas trouvé de preuve, comment le faire comprendre à un assistant de preuve?. 15èmes Journées Francophones sur les Langages Applicatifs (JFLA'04), Jan 2004, Sainte-Marie-de-Ré, France. pp.1--40. ⟨hal-03201265⟩

Share

Metrics

Record views

9