Edit Profile (opens in new tab) Bledsoe, Woodrow W. Compute Distance To: Compute Author ID: bledsoe.woodrow-w Published as: Bledsoe, W. W.; Bledsoe, Woodrow W. External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 22 Publications since 1952 1 Contribution as Editor · 2 Further Contributions Biographic References: 3 Publications Co-Authors: 22 Co-Authors with 16 Joint Publications 255 Co-Co-Authors all top 5 Co-Authors 8 single-authored 2 Boyer, Robert S. 2 Buchanan, Bruce G. 2 Hayes, Patrick J. 2 Henschen, Lawrence J. 2 Loveland, Donald W. 2 Morse, Anthony Perry 2 Wos, Larry 2 Wrightson, Graham 1 Amarel, Saul 1 Andrews, Peter B. 1 Ballantyne, A. Michael 1 Barstow, David R. 1 Bendix, P. B. 1 Bennett, J. H. 1 Berliner, Hans Jack 1 Bing, R. H. 1 Binkley, Robert W. 1 Bruell, Peter 1 Carson, Daniel F. 1 Clark, Robert L. 1 Cohen, Paul R. 1 Davis, Randall 1 Davydov, G. V. 1 de Bruijn, Nicolaas Govert 1 Duda, Richard O. 1 Erman, L. 1 Feigenbaum, Edward Albert 1 Feng, Guohui 1 Fikes, Richard E. 1 Gaschnig, John G. 1 Green, Cordell 1 Green, Louis C. 1 Guard, J. R. 1 Hart, Peter E. 1 Hayes-Roth, Frederick 1 Henneman, W. H. 1 Hines, Larry M. 1 Hong, Robert 1 Knuth, Donald Ervin 1 Kunen, Kenneth 1 Lesser, Victor R. 1 Luckham, David C. 1 Mackworth, Alan K. 1 Manna, Zohar 1 Maslov, S. Yu. 1 Mauldin, Richard Daniel 1 McCarthy, John 1 Mints, Grigoriĭ Efroimovich 1 Moore, J Strother 1 Morris, James B. 1 Nilsson, Nils J. 1 Norris, Michael J. 1 Oglesby, F. C. 1 Orevkov, V. P. 1 Perrault, C. Raymond 1 Prawitz, Dag 1 Reiter, Raymond 1 Robinson, George A. 1 Robinson, John Alan 1 Rose, Gene F. 1 Settle, L. G. 1 Shalla, Leon 1 Shortliffe, Edward H. 1 Siekmann, Jörg H. 1 Slagle, James R. 1 Slisenko, A. O. 1 Stefik, M. 1 Tsejtin, G. S. 1 Waldinger, Richard J. 1 Wang, Tiecheng 1 Webber, Bonnie Lynn 1 Weyhrauch, Richard W. 1 Wilkins, David C. 1 Wilks, C. E. all top 5 Serials 5 Artificial Intelligence 4 Journal of Automated Reasoning 3 Journal of the Association for Computing Machinery 3 Pacific Journal of Mathematics 3 Proceedings of the American Mathematical Society 1 American Mathematical Monthly 1 Contemporary Mathematics all top 5 Fields 16 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 2 Real functions (26-XX) 2 Measure and integration (28-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 23 Publications have been cited 190 times in 143 Documents Cited by ▼ Year ▼ Non-resolution theorem proving. Zbl 0358.68131Bledsoe, W. W. 32 1977 Splitting and reduction heuristics in automatic theorem proving. Zbl 0221.68052Bledsoe, W. W. 20 1971 Neighborly functions. Zbl 0046.40301Bledsoe, 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.31502Anderson, Robert; Bledsoe, W. W. 15 1970 Computer proofs of limit theorems. Zbl 0242.68055Bledsoe, W. W.; Boyer, R. S.; Henneman, W. H. 14 1972 A man-machine theorem-proving system. Zbl 0286.68047Bledsoe, W. W.; Bruell, Peter 12 1974 Readings in artificial intelligence. Zbl 0498.68054 12 1981 Sets generated by rectangles. Zbl 0261.04001Bing, R. H.; Bledsoe, W. W.; Mauldin, R. D. 11 1974 Challenge problems in elementary calculus. Zbl 0702.68092Bledsoe, W. W. 10 1990 Variable elimination and chaining in a resolution-based prover for inequalities. Zbl 0438.68050Bledsoe, 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.68109Ballantyne, A. Michael; Bledsoe, W. W. 7 1977 SET-VAR. Zbl 0802.68130Bledsoe, W. W.; Feng, Guohui 5 1993 Hierarchical deduction. Zbl 0636.68120Wang, Tie-Cheng; Bledsoe, W. W. 5 1987 Some automatic proofs in analysis. Zbl 0585.68079Bledsoe, W. W. 4 1984 Completeness results for inequality provers. Zbl 0598.68059Bledsoe, W. W.; Kunen, K.; Shostak, R. 4 1985 A topological measure construction. Zbl 0133.00105Bledsoe, W. W.; Morse, A. P. 4 1963 Some aspects of covering theory. Zbl 0047.28903Bledsoe, Woodrow W.; Morse, A. P. 3 1952 An overview of automated reasoning and related fields. Zbl 0614.68068Wos, 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.17103Bledsoe, W. W. 2 1966 Some thoughts on proof discovery. Zbl 0728.68108Bledsoe, W. W. 2 1990 A result on Borel product measures. Zbl 0223.28009Bledsoe, W. W.; Wilks, C. E. 1 1972 SET-VAR. Zbl 0802.68130Bledsoe, W. W.; Feng, Guohui 5 1993 Challenge problems in elementary calculus. Zbl 0702.68092Bledsoe, W. W. 10 1990 Some thoughts on proof discovery. Zbl 0728.68108Bledsoe, W. W. 2 1990 Hierarchical deduction. Zbl 0636.68120Wang, Tie-Cheng; Bledsoe, W. W. 5 1987 Completeness results for inequality provers. Zbl 0598.68059Bledsoe, W. W.; Kunen, K.; Shostak, R. 4 1985 An overview of automated reasoning and related fields. Zbl 0614.68068Wos, 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.68079Bledsoe, 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.68050Bledsoe, W. W.; Hines, Larry M. 9 1980 Non-resolution theorem proving. Zbl 0358.68131Bledsoe, W. W. 32 1977 Automatic proofs of theorems in analysis using nonstandard techniques. Zbl 0359.68109Ballantyne, A. Michael; Bledsoe, W. W. 7 1977 A man-machine theorem-proving system. Zbl 0286.68047Bledsoe, W. W.; Bruell, Peter 12 1974 Sets generated by rectangles. Zbl 0261.04001Bing, R. H.; Bledsoe, W. W.; Mauldin, R. D. 11 1974 Computer proofs of limit theorems. Zbl 0242.68055Bledsoe, W. W.; Boyer, R. S.; Henneman, W. H. 14 1972 A result on Borel product measures. Zbl 0223.28009Bledsoe, W. W.; Wilks, C. E. 1 1972 Splitting and reduction heuristics in automatic theorem proving. Zbl 0221.68052Bledsoe, W. W. 20 1971 A linear format for resolution with merging and a new technique for establishing completeness. Zbl 0199.31502Anderson, Robert; Bledsoe, W. W. 15 1970 Some results on multicategory pattern recognition. Zbl 0141.17103Bledsoe, W. W. 2 1966 A topological measure construction. Zbl 0133.00105Bledsoe, W. W.; Morse, A. P. 4 1963 Neighborly functions. Zbl 0046.40301Bledsoe, Woodrow W. 19 1952 Some aspects of covering theory. Zbl 0047.28903Bledsoe, Woodrow W.; Morse, A. P. 3 1952 all cited Publications top 5 cited Publications 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 all top 5 Cited in 25 Fields 99 Computer science (68-XX) 51 Mathematical logic and foundations (03-XX) 16 General topology (54-XX) 7 Real functions (26-XX) 5 Measure and integration (28-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Functional analysis (46-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Topological groups, Lie groups (22-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.