Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 1997
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03212195
Soumis le : jeudi 29 avril 2021-14:00:47
Dernière modification le : vendredi 24 mars 2023-14:53:21
Dates et versions
Identifiants
- HAL Id : hal-03212195 , version 1
Citer
Jean Goubault-Larrecq, Ian Mackie. Proof Theory and Automated Deduction. Kluwer Academic Publishers, Applied Logic Series (6), 1997, 978-0792345930. ⟨hal-03212195⟩
Collections
21
Consultations
0
Téléchargements