Traducción de la lógica KTC a MSL
Editorial: [s.l] : José Manuel Méndez Rodríguez, D.L. 2006 (Salamanca : Idem)
ISBN: 84-690-0408-5
Any de publicació: 2006
Pàgines: 157-182
Tipus: Capítol de llibre
Editorial: [s.l] : José Manuel Méndez Rodríguez, D.L. 2006 (Salamanca : Idem)
ISBN: 84-690-0408-5
Any de publicació: 2006
Pàgines: 157-182
Tipus: Capítol de llibre