自動定理証明 (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "自動定理証明" in Japanese language version.

refsWebsite

Global rank Japanese rank

124^th place

1,428^th place

1ac-nancy-metz.fr

low place

low place

1,174^th place

2,751^st place

1intellektik.de

low place

low place

1springerlink.com

2,569^th place

2,101^st place

7^th place

63^rd place

4,511^th place

low place

low place

low place

ac-nancy-metz.fr

Frege, Gottlob (1884). Die Grundlagen der Arithmetik. Breslau: Wilhelm Kobner

bnf.fr

gallica.bnf.fr

Frege, Gottlob (1879). Begriffsschrift. Verlag Louis Neuert

intellektik.de

Bibel, Wolfgang (2007). “Early History and Perspectives of Automated Deduction”. KI 2007. LNAI (Springer) (4667): 2–18 2012年9月2日閲覧。.

miami.edu

cs.miami.edu

Sutcliffe, Geoff. “The TPTP Problem Library for Automated Theorem Proving”. 2012年9月8日閲覧。

nytimes.com

Gina Kolata (December 10, 1996). “Computer Math Proof Shows Reasoning Power”. The New York Times 2008年10月11日閲覧。

nyu.edu

cs.nyu.edu

Davis, Martin (2001), “The Early History of Automated Deduction”, in Robinson, Alan; Voronkov, Andrei, Handbook of Automated Reasoning, 1, Elsevier )

springerlink.com

W.W. McCune (1997). “Solution of the Robbins Problem”. Journal of Automated Reasoning 19 (3).

sri.com

csl.sri.com

“SRI International Computer Science Laboratory - John Rushby”. SRI International. 22 September 2012閲覧。