The following pages link to W. W. Bledsoe (Q915495):
Displaying 20 items.
- Challenge problems in elementary calculus (Q915496) (← links)
- Hierarchical deduction (Q1098332) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- SET-VAR (Q1319383) (← links)
- A man-machine theorem-proving system (Q1845619) (← links)
- A topological measure construction (Q2395615) (← links)
- Splitting and reduction heuristics in automatic theorem proving (Q2547495) (← links)
- A result on Borel product measures (Q2547978) (← links)
- Computer proofs of limit theorems (Q2554244) (← links)
- Sets generated by rectangles (Q2560402) (← links)
- (Q3352532) (← links)
- (Q3709919) (← links)
- (Q3880319) (← links)
- Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques (Q4131708) (← links)
- Some Results on Multicategory Pattern Recognition (Q5515936) (← links)
- An Inequality About Complex Numbers (Q5579122) (← links)
- A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness (Q5597535) (← links)
- Neighborly Functions (Q5811765) (← links)
- Some Aspects of Covering Theory (Q5813282) (← links)
- On a Differential Inequality (Q5829960) (← links)