×

Bledsoe, Woodrow W.

Compute Distance To:
Author ID: bledsoe.woodrow-w Recent zbMATH articles by "Bledsoe, Woodrow W."
Published as: Bledsoe, W. W.; Bledsoe, Woodrow W.
External Links: MGP · Wikidata · dblp · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 190 times in 143 Documents Cited by Year
Non-resolution theorem proving. Zbl 0358.68131
Bledsoe, W. W.
32
1977
Splitting and reduction heuristics in automatic theorem proving. Zbl 0221.68052
Bledsoe, W. W.
20
1971
Neighborly functions. Zbl 0046.40301
Bledsoe, Woodrow W.
19
1952
Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002
16
1983
A linear format for resolution with merging and a new technique for establishing completeness. Zbl 0199.31502
Anderson, Robert; Bledsoe, W. W.
15
1970
Computer proofs of limit theorems. Zbl 0242.68055
Bledsoe, W. W.; Boyer, R. S.; Henneman, W. H.
14
1972
A man-machine theorem-proving system. Zbl 0286.68047
Bledsoe, W. W.; Bruell, Peter
12
1974
Readings in artificial intelligence. Zbl 0498.68054
12
1981
Sets generated by rectangles. Zbl 0261.04001
Bing, R. H.; Bledsoe, W. W.; Mauldin, R. D.
11
1974
Challenge problems in elementary calculus. Zbl 0702.68092
Bledsoe, W. W.
10
1990
Variable elimination and chaining in a resolution-based prover for inequalities. Zbl 0438.68050
Bledsoe, W. W.; Hines, Larry M.
9
1980
Automated theorem proving: after 25 years. (Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society Held in Denver, Colorado, January 5-9, 1983). Zbl 0545.00023
9
1984
Automatic proofs of theorems in analysis using nonstandard techniques. Zbl 0359.68109
Ballantyne, A. Michael; Bledsoe, W. W.
7
1977
SET-VAR. Zbl 0802.68130
Bledsoe, W. W.; Feng, Guohui
5
1993
Hierarchical deduction. Zbl 0636.68120
Wang, Tie-Cheng; Bledsoe, W. W.
5
1987
Some automatic proofs in analysis. Zbl 0585.68079
Bledsoe, W. W.
4
1984
Completeness results for inequality provers. Zbl 0598.68059
Bledsoe, W. W.; Kunen, K.; Shostak, R.
4
1985
A topological measure construction. Zbl 0133.00105
Bledsoe, W. W.; Morse, A. P.
4
1963
Some aspects of covering theory. Zbl 0047.28903
Bledsoe, Woodrow W.; Morse, A. P.
3
1952
An overview of automated reasoning and related fields. Zbl 0614.68068
Wos, L.; Pereira, Fernando; Hong, Robert; Boyer, Robert S.; Moore, J. Strother; Bledsoe, W. W.; Henschen, L. J.; Buchanan, Bruce G.; Wrightson, Graham; Green, Cordell
2
1985
Some results on multicategory pattern recognition. Zbl 0141.17103
Bledsoe, W. W.
2
1966
Some thoughts on proof discovery. Zbl 0728.68108
Bledsoe, W. W.
2
1990
A result on Borel product measures. Zbl 0223.28009
Bledsoe, W. W.; Wilks, C. E.
1
1972
SET-VAR. Zbl 0802.68130
Bledsoe, W. W.; Feng, Guohui
5
1993
Challenge problems in elementary calculus. Zbl 0702.68092
Bledsoe, W. W.
10
1990
Some thoughts on proof discovery. Zbl 0728.68108
Bledsoe, W. W.
2
1990
Hierarchical deduction. Zbl 0636.68120
Wang, Tie-Cheng; Bledsoe, W. W.
5
1987
Completeness results for inequality provers. Zbl 0598.68059
Bledsoe, W. W.; Kunen, K.; Shostak, R.
4
1985
An overview of automated reasoning and related fields. Zbl 0614.68068
Wos, L.; Pereira, Fernando; Hong, Robert; Boyer, Robert S.; Moore, J. Strother; Bledsoe, W. W.; Henschen, L. J.; Buchanan, Bruce G.; Wrightson, Graham; Green, Cordell
2
1985
Automated theorem proving: after 25 years. (Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society Held in Denver, Colorado, January 5-9, 1983). Zbl 0545.00023
9
1984
Some automatic proofs in analysis. Zbl 0585.68079
Bledsoe, W. W.
4
1984
Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002
16
1983
Readings in artificial intelligence. Zbl 0498.68054
12
1981
Variable elimination and chaining in a resolution-based prover for inequalities. Zbl 0438.68050
Bledsoe, W. W.; Hines, Larry M.
9
1980
Non-resolution theorem proving. Zbl 0358.68131
Bledsoe, W. W.
32
1977
Automatic proofs of theorems in analysis using nonstandard techniques. Zbl 0359.68109
Ballantyne, A. Michael; Bledsoe, W. W.
7
1977
A man-machine theorem-proving system. Zbl 0286.68047
Bledsoe, W. W.; Bruell, Peter
12
1974
Sets generated by rectangles. Zbl 0261.04001
Bing, R. H.; Bledsoe, W. W.; Mauldin, R. D.
11
1974
Computer proofs of limit theorems. Zbl 0242.68055
Bledsoe, W. W.; Boyer, R. S.; Henneman, W. H.
14
1972
A result on Borel product measures. Zbl 0223.28009
Bledsoe, W. W.; Wilks, C. E.
1
1972
Splitting and reduction heuristics in automatic theorem proving. Zbl 0221.68052
Bledsoe, W. W.
20
1971
A linear format for resolution with merging and a new technique for establishing completeness. Zbl 0199.31502
Anderson, Robert; Bledsoe, W. W.
15
1970
Some results on multicategory pattern recognition. Zbl 0141.17103
Bledsoe, W. W.
2
1966
A topological measure construction. Zbl 0133.00105
Bledsoe, W. W.; Morse, A. P.
4
1963
Neighborly functions. Zbl 0046.40301
Bledsoe, Woodrow W.
19
1952
Some aspects of covering theory. Zbl 0047.28903
Bledsoe, Woodrow W.; Morse, A. P.
3
1952
all top 5

Cited by 202 Authors

7 Bledsoe, Woodrow W.
7 Plaisted, David Alan
5 Kenderov, Petar Stojanov
4 Duan, Zhenhua
4 Mauldin, Richard Daniel
4 Zhang, Nan
3 Cantone, Domenico
3 Melis, Erica
3 Moors, Warren B.
3 Omodeo, Eugenio Giovanni
3 Paulson, Lawrence Charles
3 Peltier, Nicolas
3 Siekmann, Jörg H.
2 Andrews, Peter B.
2 Aranda-Corral, Gonzalo A.
2 Baumgartner, Peter
2 Borrego-Díaz, Joaquín
2 Brown, Chad Edward
2 Buchberger, Bruno
2 Choban, Mitrofan Mihailovich
2 Dal Maso, Gianni
2 Défourneaux, Gilles
2 Ganzinger, Harald
2 Grande, Zbigniew
2 Hähnle, Reiner
2 Jebelean, Tudor
2 Kapur, Deepak
2 Kerber, Manfred
2 Kortezov, Ivaylo S.
2 Kraus, Sarit
2 Kutsia, Temur
2 Mart’yanov, Vladimir Ivanovich
2 Miller, Arnold W.
2 Nevins, Arthur J.
2 Nie, Xumin
2 Pastre, Dominique
2 Recław, Ireneusz
2 Revalski, Julian Petrov
2 Riečan, Beloslav
2 Sutcliffe, Geoff
2 Tian, Cong
2 Wang, Tiecheng
2 Zhang, Hantao
1 Aguilera, Gabriel
1 Almulla, Mohammed
1 Alonso-Jiménez, José Antonio
1 Ammon, Kurt
1 Atayan, V. V.
1 Autexier, Serge
1 Baaz, Matthias
1 Bachmair, Leo
1 Banakh, Taras Onufrievich
1 Beeson, Michael J.
1 Benzmüller, Christoph Ewald
1 Bibel, Wolfgang
1 Bishop, Matthew
1 Bonacina, Maria Paola
1 Bourely, Christophe
1 Bouziad, Ahmed
1 Boy de la Tour, Thierry
1 Boyer, Robert S.
1 Brown, Frank Malloy
1 Bruell, Peter
1 Bundy, Alan
1 Buntine, Wray L.
1 Caferra, Ricardo
1 Christensen, R. A.
1 Chu, Heng
1 Crǎciun, Adrian
1 Cvetković, Dragoš
1 de Guzmán, Inmaculada Pérez
1 Degtyarev, Anatoli Ivanovich
1 Derakhshan, Farzaneh
1 Dershowitz, Nachum
1 Digricoli, Vincent J.
1 Du, Ding-Zhu
1 Eilbert, R. F.
1 Farmer, William M.
1 Felty, Amy P.
1 Feng, Guohui
1 Fernández-Lebrón, M. Magdalena
1 Fleuriot, Jacques D.
1 Fremlin, David H.
1 Fritz, Tobias
1 Fudali, Lukasz A.
1 Furbach, Ulrich
1 Galán-Páez, Juan
1 Ganesalingam, Mohan
1 Gonçalves, Ricardo
1 Gowers, William Timothy
1 Grant, John R.
1 Greenbaum, Steven
1 Guller, Dušan
1 Guttman, Joshua D.
1 Hansell, Roger W.
1 Henneman, W. H.
1 Henschen, Lawrence J.
1 Hines, Larry M.
1 Holá, Ľubica
1 Holý, Dušan
...and 102 more Authors
all top 5

Cited in 44 Serials

26 Artificial Intelligence
19 Journal of Automated Reasoning
7 Theoretical Computer Science
7 Topology and its Applications
5 Proceedings of the American Mathematical Society
5 Journal of Symbolic Computation
4 Mathematica Slovaca
4 Cybernetics
3 Annals of Pure and Applied Logic
3 Annals of Mathematics and Artificial Intelligence
3 Journal of Applied Logic
3 Matematický Časopis, Slovenskej Akadémie Vied
2 Advances in Mathematics
2 Rendiconti del Circolo Matemàtico di Palermo. Serie II
2 Transactions of the American Mathematical Society
2 Information and Computation
2 Formal Aspects of Computing
2 Pattern Recognition
2 Cybernetics and Systems Analysis
2 Journal of Applied Non-Classical Logics
1 Archive for Rational Mechanics and Analysis
1 Communications on Pure and Applied Mathematics
1 Information Processing Letters
1 Letters in Mathematical Physics
1 Rocky Mountain Journal of Mathematics
1 Czechoslovak Mathematical Journal
1 Fundamenta Mathematicae
1 Fuzzy Sets and Systems
1 Information Sciences
1 International Journal of Computer & Information Sciences
1 Journal of Computer and System Sciences
1 Mathematics and Computers in Simulation
1 Mathematical Systems Theory
1 Mathematische Zeitschrift
1 Mathematika
1 Advances in Applied Mathematics
1 Annales de l’Institut Henri Poincaré. Analyse Non Linéaire
1 International Journal of Approximate Reasoning
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Computer Mathematics
1 Calculus of Variations and Partial Differential Equations
1 Journal of Mathematical Sciences (New York)
1 LMS Journal of Computation and Mathematics
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.