Edit Profile (opens in new tab) Bledsoe, Woodrow W. (b. 1921 d. 1995) Co-Author Distance 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: 23 Co-Authors with 17 Joint Publications 266 Co-Co-Authors all top 5 Co-Authors 8 single-authored 2 Anderson, Robert Brockett 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 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 27 Fields 114 Computer science (68-XX) 60 Mathematical logic and foundations (03-XX) 18 General topology (54-XX) 7 Real functions (26-XX) 5 Measure and integration (28-XX) 4 General and overarching topics; collections (00-XX) 3 History and biography (01-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 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-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 Geometry (51-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.