Data del Ajut | 1 de gen. 1997 |
---|---|
Idioma original | No s'ha definit/desconegut |
Supervisor | Enric Marti Godia (Tutor/a) & Gonzalo Escalada Imaz (Director/a) |
Proof procedures for multiple-valued propositional logics
Tesi d’estudis: Tesi doctoral