自動推論 (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "自動推論" in Japanese language version.

refsWebsite

Global rank Japanese rank

2stanford.edu

179^th place

608^th place

1ams.org

451^st place

1,252^nd place

1cornell.edu

332^nd place

925^th place

1swarthmore.edu

5,943^rd place

low place

1sri.com

low place

1utexas.edu

916^th place

2,207^th place

1cam.ac.uk

670^th place

1,631^st place

1inria.fr

4,903^rd place

low place

ams.org

Thomas, C. Hales. “Formal Proof”. University of Pittsburgh. 2010年10月19日閲覧。

cam.ac.uk

cl.cam.ac.uk

Harrison, John. “HOL Light: an overview”. 2010年10月23日閲覧。

cornell.edu

cs.cornell.edu

“Automated Deduction (AD)”. The Nature of PRL Project. 2010年10月19日閲覧。

inria.fr

coq.inria.fr

“Introduction to Coq”. 2010年10月23日閲覧。

sri.com

csl.sri.com

Shankar, Natarajan. “Little Engines of Proof”. Computer Science Laboratory, SRI International. 2010年10月19日閲覧。

stanford.edu

plato.stanford.edu

“Principia Mathematica”. Stanford University. 2010年10月19日閲覧。
“Automated Reasoning”. Stanford Encyclopedia. 2010年10月10日閲覧。

swarthmore.edu

cs.swarthmore.edu

“The Logic Theorist and its Children”. 2010年10月18日閲覧。

utexas.edu

cs.utexas.edu

“The Boyer- Moore Theorem Prover”. 2010年10月23日閲覧。