Ver registro no DEDALUS
Exportar registro bibliográfico

Automatic theorem proving in paraconsistent logics: theory and implementation (1990)