LoTREC: An environment for experiencing Kripke Semantics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006
Fichier non déposé

Dates et versions

hal-03537175 , version 1 (20-01-2022)

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⟩
14 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More