Travelled to:1 × France
1 × USA
Collaborated with:∅ L.M.Hines
Talks about:discoveri (1) variabl (1) thought (1) resolut (1) prover (1) elimin (1) proof (1) inequ (1) chain (1) some (1)
Person: W. W. Bledsoe
DBLP: Bledsoe:W=_W=
Contributed to:
1986
1980Wrote 2 papers:
- SLP-1986-Bledsoe86 #proving
- Some Thoughts on Proof Discovery (WWB), pp. 2–10.
- CADE-1980-BledsoeH #proving
- Variable Elimination and Chaining in a Resolution-based Prover for Inequalities (WWB, LMH), pp. 70–87.