Travelled to:1 × USA
Collaborated with:D.A.Plaisted A.Nagasaka P.O'Rorke
Talks about:resolut (2) prover (2) comparison (1) implement (1) theorem (1) illinoi (1) general (1) purpos (1) deduct (1) natur (1)
Person: Steven Greenbaum
DBLP: Greenbaum:Steven
Contributed to:
19861982Wrote 2 papers:
- CADE-1986-GreenbaumP #proving #theorem proving
- The Illinois Prover: A General Purpose Resolution Theorem Prover (SG, DAP), pp. 685–687.
- CADE-1982-GreenbaumNOP #comparison #deduction #implementation
- Comparison of Natural Deduction and Locking Resolution Implementations (SG, AN, PO, DAP), pp. 159–171.