ودي بلدسو (Arabic Wikipedia)

Analysis of information sources in references of the Wikipedia article "ودي بلدسو" in Arabic language version.

refsWebsite

Global rank Arabic rank

9,352^nd place

low place

2web.archive.org

1^st place

1^st place

2^nd place

5^th place

low place

low place

179^th place

237^th place

aaai.org

"Woody Bledsoe: His Life and Legacy". AI Magazine (بالإنجليزية). 1996. Retrieved 2018-10-16.
https://aaai.org/about-aaai/aaai-awards/the-aaai-fellows-program/elected-aaai-fellows/. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)

doi.org

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. مؤرشف من الأصل (PDF) في 2020-03-12.
W.W. Bledsoe (1966). "Some Results on Multicategory Pattern Recognition". J. ACM. ج. 13 ع. 2: 304–316. DOI:10.1145/321328.321340.

ijcai.org

W.W. Bledsoe (سبتمبر 1975). "A New Method for Proving Certain Presburger Formulas". Proc. IJCAI (PDF). ص. 15–21. مؤرشف من الأصل (PDF) في 2016-08-05.

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. مؤرشف من الأصل (PDF) في 2020-03-12.

web.archive.org

W.W. Bledsoe (سبتمبر 1975). "A New Method for Proving Certain Presburger Formulas". Proc. IJCAI (PDF). ص. 15–21. مؤرشف من الأصل (PDF) في 2016-08-05.
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. مؤرشف من الأصل (PDF) في 2020-03-12.