W. W. Bledsoe

Available identifiers

Publication	Date of Publication	Type
SET-VAR	1994-04-12	Paper
Challenge problems in elementary calculus	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3352532	1990-01-01	Paper
Hierarchical deduction	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709919	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880319	1980-01-01	Paper
Non-resolution theorem proving	1977-01-01	Paper
Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques	1977-01-01	Paper
Sets generated by rectangles	1974-01-01	Paper
A man-machine theorem-proving system	1974-01-01	Paper
Computer proofs of limit theorems	1972-01-01	Paper
A result on Borel product measures	1972-01-01	Paper
Splitting and reduction heuristics in automatic theorem proving	1971-01-01	Paper
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness	1970-01-01	Paper
An Inequality About Complex Numbers	1970-01-01	Paper
Some Results on Multicategory Pattern Recognition	1966-01-01	Paper
A topological measure construction	1963-01-01	Paper
On a Differential Inequality	1954-01-01	Paper
Neighborly Functions	1952-01-01	Paper
Some Aspects of Covering Theory	1952-01-01	Paper

This page was built for person: W. W. Bledsoe