Special Issue on Tableaux and Analytic Proof Methods
Résumé
no abstract
Ouvrages
Année : 2010
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01488691
Soumis le : lundi 13 mars 2017-22:43:22
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01488691 , version 1
Citer
Nicola Olivetti. Special Issue on Tableaux and Analytic Proof Methods. 20 (2), 2010. ⟨hal-01488691⟩
34
Consultations
0
Téléchargements