`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:

### Wrote 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.