BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Costa:Newton_C=_A=_da

Contributed to:

CADE 19901990

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.