Démonstration automatique en calcul des séquents
Domaines
Logique en informatique [cs.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Cours
Année : 2000
Gilles Dowek : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04057030
Soumis le : lundi 3 avril 2023-20:01:16
Dernière modification le : jeudi 1 août 2024-13:48:05
Dates et versions
Identifiants
- HAL Id : hal-04057030 , version 1
Citer
Gilles Dowek. Démonstration automatique en calcul des séquents. Licence. France. 2000, pp.53. ⟨hal-04057030⟩
90
Consultations
156
Téléchargements