Proofs in theories - Laboratoire Méthodes Formelles Access content directly
Lectures Year : 2022

Proofs in theories

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
pit.pdf (645.71 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Gilles Dowek  : Connect in order to contact the contributor

https://inria.hal.science/hal-04057037

Submitted on : Monday, April 3, 2023-8:24:13 PM

Last modification on : Friday, May 17, 2024-4:22:05 PM

Download

Dates and versions

hal-04057037 , version 1 (03-04-2023)

Identifiers

  • HAL Id : hal-04057037 , version 1

Cite

Gilles Dowek. Proofs in theories. Master. France. 2022, pp.154. ⟨hal-04057037⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
214 View
148 Download

Share

Gmail Facebook X LinkedIn More