Woody Bledsoe (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Woody Bledsoe" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

916^th place

706^th place

2semanticscholar.org

11^th place

8^th place

low place

low place

193^rd place

152^nd place

5^th place

5^th place

179^th place

183^rd place

low place

low place

207^th place

136^th place

414^th place

253^rd place

1,185^th place

840^th place

acm.org

portal.acm.org

Bledsoe, W. W.; Browning, I. (1959). "Pattern recognition and reading by machine". Papers presented at the December 1-3, 1959, eastern joint IRE-AIEE-ACM computer conference on - IRE-AIEE-ACM '59 (Eastern). ACM Press. pp. 225–232. doi:10.1145/1460299.1460326. ISBN 978-1-4503-7868-0. S2CID 15672245.

doi.org

W.W. Bledsoe (1966). "Some Results on Multicategory Pattern Recognition". J. ACM. 13 (2): 304–316. doi:10.1145/321328.321340. S2CID 17150326.
W.W. Bledsoe (1971). "Splitting and Reduction Heuristics in Automatic Theorem Proving" (PDF). Artif. Intell. 2 (1): 55–77. doi:10.1016/0004-3702(71)90004-x.
W.W. Bledsoe (1977). "Non-Resolution Theorem Proving". Artificial Intelligence. 9: 1–35. CiteSeerX 10.1.1.455.6139. doi:10.1016/0004-3702(77)90012-1. — Preceding technical report ATP29 (Sep.1975)
W.W. Bledsoe and Kenneth Kunen and Robert E. Shostak (1985). "Completeness Results for Inequality Provers". Artif. Intell. 27 (3): 255–288. doi:10.1016/0004-3702(85)90015-3. — Preceding technical report ATP65 (1983)
Bledsoe, W. W.; Browning, I. (1959). "Pattern recognition and reading by machine". Papers presented at the December 1-3, 1959, eastern joint IRE-AIEE-ACM computer conference on - IRE-AIEE-ACM '59 (Eastern). ACM Press. pp. 225–232. doi:10.1145/1460299.1460326. ISBN 978-1-4503-7868-0. S2CID 15672245.

ijcai.org

W.W. Bledsoe (September 1975). "A New Method for Proving Certain Presburger Formulas". Proc. IJCAI (PDF). pp. 15–21.

newsbank.com

nl.newsbank.com

"UT science pioneer 'Woody' Bledsoe dies". Austin American-Statesman. October 6, 1995. Retrieved March 13, 2013.

psu.edu

citeseerx.ist.psu.edu

W.W. Bledsoe (1977). "Non-Resolution Theorem Proving". Artificial Intelligence. 9: 1–35. CiteSeerX 10.1.1.455.6139. doi:10.1016/0004-3702(77)90012-1. — Preceding technical report ATP29 (Sep.1975)

semanticscholar.org

api.semanticscholar.org

W.W. Bledsoe (1966). "Some Results on Multicategory Pattern Recognition". J. ACM. 13 (2): 304–316. doi:10.1145/321328.321340. S2CID 17150326.
Bledsoe, W. W.; Browning, I. (1959). "Pattern recognition and reading by machine". Papers presented at the December 1-3, 1959, eastern joint IRE-AIEE-ACM computer conference on - IRE-AIEE-ACM '59 (Eastern). ACM Press. pp. 225–232. doi:10.1145/1460299.1460326. ISBN 978-1-4503-7868-0. S2CID 15672245.

stanford.edu

saltworks.stanford.edu

W.W. Bledsoe (1971). "Splitting and Reduction Heuristics in Automatic Theorem Proving" (PDF). Artif. Intell. 2 (1): 55–77. doi:10.1016/0004-3702(71)90004-x.

tntu.edu.ua

elartu.tntu.edu.ua

W.W. Bledsoe (1966). "Some Results on Multicategory Pattern Recognition". J. ACM. 13 (2): 304–316. doi:10.1145/321328.321340. S2CID 17150326.

utexas.edu

cs.utexas.edu

W.W. Bledsoe (1977). "Non-Resolution Theorem Proving". Artificial Intelligence. 9: 1–35. CiteSeerX 10.1.1.455.6139. doi:10.1016/0004-3702(77)90012-1. — Preceding technical report ATP29 (Sep.1975)
W.W. Bledsoe and Kenneth Kunen and Robert E. Shostak (1985). "Completeness Results for Inequality Provers". Artif. Intell. 27 (3): 255–288. doi:10.1016/0004-3702(85)90015-3. — Preceding technical report ATP65 (1983)

utexas.edu

Memorial Resolution – Woodrow W. Bledsoe

wired.com

Raviv, Shaun. "The Secret History of Facial Recognition". Wired. ISSN 1059-1028. Retrieved August 31, 2023.

worldcat.org

search.worldcat.org

Raviv, Shaun. "The Secret History of Facial Recognition". Wired. ISSN 1059-1028. Retrieved August 31, 2023.