Arrazoiketa automatiko (Basque Wikipedia)

Analysis of information sources in references of the Wikipedia article "Arrazoiketa automatiko" in Basque language version.

refsWebsite

Global rank Basque rank

3doi.org

2^nd place

6^th place

2stanford.edu

179^th place

89^th place

1psu.edu

207^th place

738^th place

1ams.org

451^st place

1,020^th place

1cornell.edu

332^nd place

208^th place

1swarthmore.edu

5,943^rd place

low place

1sri.com

low place

1utexas.edu

916^th place

1,272^nd place

1cam.ac.uk

670^th place

1,007^th place

1inria.fr

4,903^rd place

low place

ams.org

C. Hales, Thomas "Formal Proof", University of Pittsburgh. Retrieved on 2010-10-19

cam.ac.uk

cl.cam.ac.uk

Harrison, John HOL Light: an overview. Retrieved 2010-10-23

cornell.edu

cs.cornell.edu

"Automated Deduction (AD)", [The Nature of PRL Project]. Retrieved on 2010-10-19

doi.org

dx.doi.org

inria.fr

coq.inria.fr

Introduction to Coq. Retrieved 2010-10-23

psu.edu

citeseerx.ist.psu.edu

Defourneaux, Gilles, and Nicolas Peltier. "Analogy and abduction in automated deduction." IJCAI (1). 1997.

sri.com

csl.sri.com

Shankar, Natarajan Little Engines of Proof, Computer Science Laboratory, SRI International. Retrieved 2010-10-19

stanford.edu

plato.stanford.edu

"Principia Mathematica", at Stanford University. Retrieved 2010-10-19
Automated Reasoning, Stanford Encyclopedia. Retrieved 2010-10-10

swarthmore.edu

cs.swarthmore.edu

"The Logic Theorist and its Children". Retrieved 2010-10-18

utexas.edu

cs.utexas.edu

The Boyer- Moore Theorem Prover. Retrieved on 2010-10-23