Démonstration automatique en calcul des séquents - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Lectures Year : 2000

Démonstration automatique en calcul des séquents

Gilles Dowek
Fichier principal
Vignette du fichier
demonstrationautomatique.pdf (359.43 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-04057030 , version 1

Cite

Gilles Dowek. Démonstration automatique en calcul des séquents. Licence. France. 2000, pp.53. ⟨hal-04057030⟩
54 View
85 Download

Share

Gmail Facebook X LinkedIn More