منطق آلي (Arabic Wikipedia)

Analysis of information sources in references of the Wikipedia article "منطق آلي" in Arabic language version.

refsWebsite

Global rank Arabic rank

8web.archive.org

1^st place

2doi.org

2^nd place

5^th place

1sdaia.gov.sa

low place

1wikidata.org

43^rd place

2^nd place

1ams.org

451^st place

1,108^th place

1cornell.edu

332^nd place

400^th place

1stanford.edu

179^th place

237^th place

1swarthmore.edu

5,943^rd place

9,596^th place

1sri.com

low place

1books.google.com

3^rd place

8^th place

1arxiv.org

69^th place

207^th place

1utexas.edu

916^th place

711^th place

ams.org

C. Hales, Thomas "Formal Proof", University of Pittsburgh. Retrieved on 2010-10-19 نسخة محفوظة 27 أغسطس 2018 على موقع واي باك مشين.

arxiv.org

[1605.00723] Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer نسخة محفوظة 17 سبتمبر 2018 على موقع واي باك مشين.

books.google.com

Shankar، N. (1994)، Metamathematics, Machines, and Gödel's Proof، Cambridge, UK: Cambridge University Press، مؤرشف من الأصل في 2019-12-17

cornell.edu

cs.cornell.edu

"Automated Deduction (AD)", [The Nature of PRL Project]. Retrieved on 2010-10-19 نسخة محفوظة 01 مارس 2018 على موقع واي باك مشين.

doi.org

Russinoff، David M. (1992)، "A Mechanical Proof of Quadratic Reciprocity"، J. Autom. Reason.، ج. 8، ص. 3–21، DOI:10.1007/BF00263446
Gonthier، G.؛ وآخرون (2013)، "A Machine-Checked Proof of the Odd Order Theorem"، في Blazy، S.؛ Paulin-Mohring، C.؛ Pichardie، D. (المحررون)، Interactive Theorem Proving، Lecture Notes in Computer Science، ج. 7998، ص. 163–179، DOI:10.1007/978-3-642-39634-2_14، ISBN:978-3-642-39633-5

sdaia.gov.sa

معجم البيانات والذكاء الاصطناعي (PDF) (بالعربية والإنجليزية)، الهيئة السعودية للبيانات والذكاء الاصطناعي، 2022، ص. 43، QID:Q111421033

sri.com

csl.sri.com

Shankar, Natarajan Little Engines of Proof, Computer Science Laboratory, معهد ستانفورد للأبحاث. Retrieved 2010-10-19 نسخة محفوظة 17 مايو 2008 على موقع واي باك مشين.

stanford.edu

plato.stanford.edu

"Principia Mathematica", at جامعة ستانفورد. Retrieved 2010-10-19 نسخة محفوظة 25 أغسطس 2018 على موقع واي باك مشين.

swarthmore.edu

cs.swarthmore.edu

"The Logic Theorist and its Children". Retrieved 2010-10-18 نسخة محفوظة 03 نوفمبر 2017 على موقع واي باك مشين.

utexas.edu

cs.utexas.edu

The Boyer- Moore Theorem Prover. Retrieved on 2010-10-23 نسخة محفوظة 12 ديسمبر 2016 على موقع واي باك مشين.

web.archive.org

C. Hales, Thomas "Formal Proof", University of Pittsburgh. Retrieved on 2010-10-19 نسخة محفوظة 27 أغسطس 2018 على موقع واي باك مشين.
"Automated Deduction (AD)", [The Nature of PRL Project]. Retrieved on 2010-10-19 نسخة محفوظة 01 مارس 2018 على موقع واي باك مشين.
"Principia Mathematica", at جامعة ستانفورد. Retrieved 2010-10-19 نسخة محفوظة 25 أغسطس 2018 على موقع واي باك مشين.
"The Logic Theorist and its Children". Retrieved 2010-10-18 نسخة محفوظة 03 نوفمبر 2017 على موقع واي باك مشين.
Shankar, Natarajan Little Engines of Proof, Computer Science Laboratory, معهد ستانفورد للأبحاث. Retrieved 2010-10-19 نسخة محفوظة 17 مايو 2008 على موقع واي باك مشين.
Shankar، N. (1994)، Metamathematics, Machines, and Gödel's Proof، Cambridge, UK: Cambridge University Press، مؤرشف من الأصل في 2019-12-17
[1605.00723] Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer نسخة محفوظة 17 سبتمبر 2018 على موقع واي باك مشين.
The Boyer- Moore Theorem Prover. Retrieved on 2010-10-23 نسخة محفوظة 12 ديسمبر 2016 على موقع واي باك مشين.

wikidata.org

معجم البيانات والذكاء الاصطناعي (PDF) (بالعربية والإنجليزية)، الهيئة السعودية للبيانات والذكاء الاصطناعي، 2022، ص. 43، QID:Q111421033