Woody Bledsoe (French Wikipedia)

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

refsWebsite

Global rank French rank

2^nd place

3^rd place

179^th place

385^th place

low place

low place

610^th place

265^th place

916^th place

994^th place

414^th place

1,359^th place

doi.org

dx.doi.org

W.W. Bledsoe, « Some Results on Multicategory Pattern Recognition », J. ACM, vol. 13,‎ 1966, p. 304–316 (DOI 10.1145/321328.321340)
W.W. Bledsoe, « Splitting and Reduction Heuristics in Automatic Theorem Proving », Artif. Intell., vol. 2,‎ 1971, p. 55–77 (DOI 10.1016/0004-3702(71)90004-x, lire en ligne)
(en) W.W. Bledsoe, « Non-resolution theorem proving », Artificial Intelligence, vol. 9, n^o 1,‎ août 1977, p. 1–35 (DOI 10.1016/0004-3702(77)90012-1, lire en ligne, consulté le 17 août 2020)
W.W. Bledsoe and Kenneth Kunen and Robert E. Shostak, « Completeness Results for Inequality Provers », Artif. Intell., vol. 27,‎ 1985, p. 255–288 (DOI 10.1016/0004-3702(85)90015-3) — Preceding technical report ATP65 (1983)

elsevier.com

linkinghub.elsevier.com

(en) W.W. Bledsoe, « Non-resolution theorem proving », Artificial Intelligence, vol. 9, n^o 1,‎ août 1977, p. 1–35 (DOI 10.1016/0004-3702(77)90012-1, lire en ligne, consulté le 17 août 2020)

ijcai.org

W.W. Bledsoe, Proc. IJCAI, septembre 1975, 15–21 p. (lire en ligne), « A New Method for Proving Certain Presburger Formulas »

newsbank.com

nl.newsbank.com

« Archive Search Results », sur nl.newsbank.com (consulté le 17 août 2020)

stanford.edu

saltworks.stanford.edu

W.W. Bledsoe, « Splitting and Reduction Heuristics in Automatic Theorem Proving », Artif. Intell., vol. 2,‎ 1971, p. 55–77 (DOI 10.1016/0004-3702(71)90004-x, lire en ligne)

utexas.edu

cs.utexas.edu

W.W. Bledsoe and Kenneth Kunen and Robert E. Shostak, « Completeness Results for Inequality Provers », Artif. Intell., vol. 27,‎ 1985, p. 255–288 (DOI 10.1016/0004-3702(85)90015-3) — Preceding technical report ATP65 (1983)