×

Bledsoe, Woodrow W. (b. 1921 d. 1995)

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 211 times in 162 Documents Cited by Year
Non-resolution theorem proving. Zbl 0358.68131
Bledsoe, W. W.
37
1977
Splitting and reduction heuristics in automatic theorem proving. Zbl 0221.68052
Bledsoe, W. W.
21
1971
Neighborly functions. Zbl 0046.40301
Bledsoe, Woodrow W.
21
1952
Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002
18
1983
Computer proofs of limit theorems. Zbl 0242.68055
Bledsoe, W. W.; Boyer, R. S.; Henneman, W. H.
16
1972
A linear format for resolution with merging and a new technique for establishing completeness. Zbl 0199.31502
Anderson, Robert; Bledsoe, W. W.
16
1970
Readings in artificial intelligence. Zbl 0498.68054
14
1981
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
13
1984
A man-machine theorem-proving system. Zbl 0286.68047
Bledsoe, W. W.; Bruell, Peter
12
1974
Variable elimination and chaining in a resolution-based prover for inequalities. Zbl 0438.68050
Bledsoe, W. W.; Hines, Larry M.
12
1980
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
Hierarchical deduction. Zbl 0636.68120
Wang, Tie-Cheng; Bledsoe, W. W.
7
1987
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
A topological measure construction. Zbl 0133.00105
Bledsoe, W. W.; Morse, A. P.
4
1963
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
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
3
1985
Some aspects of covering theory. Zbl 0047.28903
Bledsoe, Woodrow W.; Morse, A. P.
3
1952
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.
7
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
3
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
13
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
18
1983
Readings in artificial intelligence. Zbl 0498.68054
14
1981
Variable elimination and chaining in a resolution-based prover for inequalities. Zbl 0438.68050
Bledsoe, W. W.; Hines, Larry M.
12
1980
Non-resolution theorem proving. Zbl 0358.68131
Bledsoe, W. W.
37
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.
16
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.
21
1971
A linear format for resolution with merging and a new technique for establishing completeness. Zbl 0199.31502
Anderson, Robert; Bledsoe, W. W.
16
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.
21
1952
Some aspects of covering theory. Zbl 0047.28903
Bledsoe, Woodrow W.; Morse, A. P.
3
1952
all top 5

Cited by 211 Authors

9 Plaisted, David Alan
7 Bledsoe, Woodrow W.
6 Kenderov, Petar Stojanov
5 Kapur, Deepak
4 Duan, Zhenhua
4 Mauldin, Richard Daniel
4 Peltier, Nicolas
4 Zhang, Nan
3 Cantone, Domenico
3 Melis, Erica
3 Moors, Warren B.
3 Nie, Xumin
3 Omodeo, Eugenio Giovanni
3 Paulson, Lawrence Charles
3 Revalski, Julian Petrov
3 Siekmann, Jörg H.
3 Zhang, Hantao
2 Andrews, Peter B.
2 Aranda-Corral, Gonzalo A.
2 Baumgartner, Peter
2 Bibel, Wolfgang
2 Borrego-Díaz, Joaquín
2 Bourely, Christophe
2 Boyer, Robert S.
2 Brown, Chad Edward
2 Buchberger, Bruno
2 Bundy, Alan
2 Caferra, Ricardo
2 Choban, Mitrofan Mihailovich
2 Chu, Heng
2 Dal Maso, Gianni
2 Défourneaux, Gilles
2 Ganzinger, Harald
2 Gonçalves, Ricardo
2 Grande, Zbigniew
2 Hähnle, Reiner
2 Hines, Larry M.
2 Holá, Ľubica
2 Jebelean, Tudor
2 Kerber, Manfred
2 Knorr, Matthias
2 Kortezov, Ivaylo S.
2 Kraus, Sarit
2 Kutsia, Temur
2 Lee, Shie-Jue
2 Leite, João
2 Mart’yanov, Vladimir Ivanovich
2 Miller, Arnold W.
2 Moore, J Strother
2 Nevins, Arthur J.
2 Pastre, Dominique
2 Recław, Ireneusz
2 Riečan, Beloslav
2 Sieg, Wilfried
2 Sutcliffe, Geoff
2 Tian, Cong
2 Van Gelder, Allen
2 Wang, Tiecheng
1 Aguilera, Gabriel
1 Alexander, Geoffrey D.
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 Bishop, Matthew
1 Bonacina, Maria Paola
1 Bouziad, Ahmed
1 Boy de la Tour, Thierry
1 Brown, Frank Malloy
1 Bruell, Peter
1 Buntine, Wray L.
1 Christensen, R. A.
1 Crǎciun, Adrian
1 Cvetković, Dragoš
1 Pérez de Guzmán, Inmaculada
1 Degtyarev, Anatoli Ivanovich
1 Derakhshan, Farzaneh
1 Dershowitz, Nachum
1 Digricoli, Vincent J.
1 Du, Ding-Zhu
1 Eilbert, R. F.
1 Eiter, Thomas
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 Gowers, William Timothy
...and 111 more Authors
all top 5

Cited in 46 Serials

29 Artificial Intelligence
19 Journal of Automated Reasoning
8 Topology and its Applications
7 Theoretical Computer Science
6 Journal of Symbolic Computation
5 Proceedings of the American Mathematical Society
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 Fuzzy Sets and Systems
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 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 Results in Mathematics
1 Studia Logica
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.