Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 1997
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 : jeudi 1 août 2024-17:08:02
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
82
Consultations
0
Téléchargements