Statistics
Publications
27
Citations
1.8K
H-Index
20
Active since
1952
Affiliations
W. W. Bledsoe is an author at The University of Texas at Austin specializing in computer science, computing, and theorem proving.
Publications per year
1952–2020
27
27
Pattern recognition and reading by machine
W. W. Bledsoe, I Browning · 1959 · 350 citations · Full text
Non-resolution theorem proving
W. W. Bledsoe · Artificial Intelligence · 1977 · 231 citations
Splitting and reduction heuristics in automatic theorem proving
W. W. Bledsoe · Artificial Intelligence · 1971 · 103 citations
1–5 of 27