Collaborated with:L.J.Henschen J.J.Lu V.S.Subrahmanian
Talks about:paraconsist (1) implement (1) theorem (1) automat (1) theori (1) prove (1) logic (1)
Person: Newton C. A. da Costa
DBLP: Costa:Newton_C=_A=_da
Contributed to:
1990Wrote 1 papers:
- CADE-1990-CostaHLS #automation #implementation #logic #proving #theorem proving
- Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation (NCAdC, LJH, JJL, VSS), pp. 72–86.