Publications
Export 1 results:
Author Title Type [ Year
] Filters: Author is Carnielli, Walter A. and First Letter Of Title is I [Clear All Filters]
. 2002. “An Inconsistency-Adaptive Proof Procedure For Logic Programming” . Paraconsistency. The Logical Way to the Inconsistent: 323-340.
