Bledsoe, W. W.
URI(s)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Variants
- Bledsoe, Woody
Additional Information
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Automated theorem proving, 1984:CIP t.p. (W.W. Bledsoe)
- found: Automated reasoning, 1991:CIP t.p. (Woody Bledsoe) pref. (W.W. Bledsoe)
Change Notes
- 1984-05-01: new
- 1991-08-13: revised
Alternate Formats
