Communication Dans Un Congrès
Année : 2006
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03537175
Soumis le : jeudi 20 janvier 2022-11:45:12
Dernière modification le : lundi 22 janvier 2024-15:28:55
Dates et versions
Identifiants
- HAL Id : hal-03537175 , version 1
Citer
Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade. LoTREC: An environment for experiencing Kripke Semantics. 2nd International Congress on Tools for Teaching Logic (TTL 2006), Sep 2006, Salamanca, Spain. pp.41-44. ⟨hal-03537175⟩
Collections
41
Consultations
0
Téléchargements