Автоматизоване міркування (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Автоматизоване міркування" in Ukrainian language version.

refsWebsite

Global rank Ukrainian rank

2stanford.edu

179^th place

277^th place

1psu.edu

207^th place

811^th place

1ams.org

451^st place

828^th place

1cornell.edu

332^nd place

725^th place

1springer.com

274^th place

202^nd place

1swarthmore.edu

5,943^rd place

low place

1sri.com

low place

1utexas.edu

916^th place

1,136^th place

1cam.ac.uk

670^th place

721^st place

1inria.fr

4,903^rd place

6,264^th 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

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.

springer.com

Martin Davis (1983). The Prehistory and Early History of Automated Deduction. У Jörg Siekmann (ред.). Automation of Reasoning (1) — Classical Papers on Computational Logic 1957–1966. Heidelberg: Springer. с. 1—28. ISBN 978-3-642-81954-4. Here: p.15

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