W. W. Bledsoe

MaRDI QIDQ915495zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
SET-VAR Journal of Automated Reasoning	1994-04-12	Paper
Challenge problems in elementary calculus Journal of Automated Reasoning	1990-01-01	Paper
scientific article; zbMATH DE number 4203762 (Why is no real title available?)	1990-01-01	Paper
Hierarchical deduction Journal of Automated Reasoning	1987-01-01	Paper
scientific article; zbMATH DE number 3938594 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3684932 (Why is no real title available?)	1980-01-01	Paper
Non-resolution theorem proving Artificial Intelligence	1977-01-01	Paper
Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques Journal of the ACM	1977-01-01	Paper
Sets generated by rectangles Pacific Journal of Mathematics	1974-01-01	Paper
A man-machine theorem-proving system Artificial Intelligence	1974-01-01	Paper
Computer proofs of limit theorems Artificial Intelligence	1972-01-01	Paper
A result on Borel product measures Pacific Journal of Mathematics	1972-01-01	Paper
Splitting and reduction heuristics in automatic theorem proving Artificial Intelligence	1971-01-01	Paper
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness Journal of the ACM	1970-01-01	Paper
An Inequality About Complex Numbers The American Mathematical Monthly	1970-01-01	Paper
Some Results on Multicategory Pattern Recognition Journal of the ACM	1966-01-01	Paper
A topological measure construction Pacific Journal of Mathematics	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

Research outcomes over time

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