Otomatik akıl yürütme (Turkish Wikipedia)

Analysis of information sources in references of the Wikipedia article "Otomatik akıl yürütme" in Turkish language version.

refsWebsite

Global rank Turkish rank

6web.archive.org

1^st place

1^st place

5^th place

8^th place

2^nd place

4^th place

low place

low place

1swarthmore.edu

5,943^rd place

low place

916^th place

1,274^th place

670^th place

1,249^th place

4,903^rd place

low place

179^th place

236^th place

cam.ac.uk

cl.cam.ac.uk

"Harrison, John HOL Light: an overview" (PDF). 29 Eylül 2012 tarihinde kaynağından (PDF) arşivlendi.

doi.org

dx.doi.org

Hales, Thomas C. "External Tools for the Formal Proof of the Kepler Conjecture". EasyChair. doi:10.29007/2l48.
Baader, Franz, (Ed.) (2003). "Automated Deduction – CADE-19". Lecture Notes in Computer Science. doi:10.1007/b11829. ISSN 0302-9743.

doi.org

Hales, Thomas C. "External Tools for the Formal Proof of the Kepler Conjecture". EasyChair. doi:10.29007/2l48.
Baader, Franz, (Ed.) (2003). "Automated Deduction – CADE-19". Lecture Notes in Computer Science. doi:10.1007/b11829. ISSN 0302-9743.

inria.fr

coq.inria.fr

"Introduction to Coq". 20 Kasım 2009 tarihinde kaynağından arşivlendi. Erişim tarihi: 19 Haziran 2021.

stanford.edu

plato.stanford.edu

"Automated Reasoning". 18 Ağustos 2000 tarihinde kaynağından arşivlendi. Erişim tarihi: 19 Haziran 2021.

swarthmore.edu

cs.swarthmore.edu

""The Logic Theorist and its Children"". 25 Mayıs 2003 tarihinde kaynağından arşivlendi. Erişim tarihi: 19 Haziran 2021.

utexas.edu

cs.utexas.edu

"The Boyer- Moore Theorem Prover". 2 Eylül 2004 tarihinde kaynağından arşivlendi.

web.archive.org

"John L. Pollock". 12 Temmuz 2011 tarihinde kaynağından arşivlendi.
""The Logic Theorist and its Children"". 25 Mayıs 2003 tarihinde kaynağından arşivlendi. Erişim tarihi: 19 Haziran 2021.
"The Boyer- Moore Theorem Prover". 2 Eylül 2004 tarihinde kaynağından arşivlendi.
"Harrison, John HOL Light: an overview" (PDF). 29 Eylül 2012 tarihinde kaynağından (PDF) arşivlendi.
"Introduction to Coq". 20 Kasım 2009 tarihinde kaynağından arşivlendi. Erişim tarihi: 19 Haziran 2021.
"Automated Reasoning". 18 Ağustos 2000 tarihinde kaynağından arşivlendi. Erişim tarihi: 19 Haziran 2021.

wikipedia.org

en.wikipedia.org

"John L. Pollock". 12 Temmuz 2011 tarihinde kaynağından arşivlendi.

worldcat.org

Baader, Franz, (Ed.) (2003). "Automated Deduction – CADE-19". Lecture Notes in Computer Science. doi:10.1007/b11829. ISSN 0302-9743.
Rothlauf, Franz (2012). Automation of reasoning : classical papers on computational logic 19571966. [Place of publication not identified]: Springer. ISBN 3-642-81954-0. OCLC 802334981.
Shankar, N. (1997). Metamathematics, machines, and Gödel's proof. 1st pbk. ed. Cambridge: Cambridge University Press. ISBN 0-521-58533-3. OCLC 37209144.
Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. Berlin. 2013. ISBN 978-3-642-39634-2. OCLC 856650301.
Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. Nadia Creignou, Daniel Le Berre. Switzerland. 2016. ISBN 978-3-319-40970-2. OCLC 951904034.