Oliveira, Kleidson Êglicio Carvalho da Silva, Brazil
-
2009 Brazilian International Meeting of Cognitive Science - Poster Presentations
A SYSTEM OF NATURAL DEDUCTION FOR THE PROPOSITIONAL LOGIC OF THE PLAUSIBLE
Abstract
This work is licensed under a Creative Commons Attribution 3.0 License.