Communication Dans Un Congrès
Année : 2008
Antoine Genitrini : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00530530
Soumis le : vendredi 29 octobre 2010-10:58:00
Dernière modification le : vendredi 24 mars 2023-14:52:53
Dates et versions
Identifiants
- HAL Id : hal-00530530 , version 1
Citer
Antoine Genitrini, Jakub Kozik, Marek Zaionc. Intuitionistic vs Classical Tautologies, Quantitative Comparison. TYPES 2007, 2007, Cividale del Friuli, Italy. pp.100-109. ⟨hal-00530530⟩
68
Consultations
0
Téléchargements