Communication Dans Un Congrès
Année : 2013
Didier Galmiche : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01259791
Soumis le : mercredi 20 janvier 2016-23:18:27
Dernière modification le : vendredi 24 mars 2023-14:53:01
Dates et versions
Identifiants
- HAL Id : hal-01259791 , version 1
Citer
Jean-René Courtault, Didier Galmiche, Daniel Méry. An Interactive Prover for Bi-intuitionistic Logic. Int. Workshop on the Implementation of Logics, IWIL 2013, 2013, Stellenbosch, South Africa. ⟨hal-01259791⟩
Collections
78
Consultations
0
Téléchargements