1.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
2.
|
Redefinition of basic modules of an intelligent tutoring system: the tutor module Salgueiro, Fernando A. - Costa, Guido - Cataldi, Zulma - Lage, Fernando Javier - García Martínez, Ramón
|