Démonstration automatique en calcul des séquents

Cours Année : 2000

(1)

1

Gilles Dowek

Logic and computing

Logique en informatique [cs.LO]

Fichier principal

demonstrationautomatique.pdf (359.43 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

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

Soumis le : lundi 3 avril 2023-20:01:16

Dernière modification le : jeudi 6 avril 2023-03:32:28

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

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

X EC-PARIS CNRS INRIA UMR8623 INRIA2 UNIV-PARIS-SACLAY

62 Consultations

103 Téléchargements