Exportar registro bibliográfico

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


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021