Traducción de la lógica KTC a MSL
Publisher: [s.l] : José Manuel Méndez Rodríguez, D.L. 2006 (Salamanca : Idem)
ISBN: 84-690-0408-5
Year of publication: 2006
Pages: 157-182
Type: Book chapter
Publisher: [s.l] : José Manuel Méndez Rodríguez, D.L. 2006 (Salamanca : Idem)
ISBN: 84-690-0408-5
Year of publication: 2006
Pages: 157-182
Type: Book chapter