Dimostrazione automatica di teoremi (Italian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Dimostrazione automatica di teoremi" in Italian language version.

refsWebsite

Global rank Italian rank

6^th place

8^th place

124^th place

241^st place

1web.archive.org

1^st place

1^st place

1,174^th place

3,584^th place

1intellektik.de

low place

low place

2^nd place

7^th place

archive.org

Bertrand Russell e Alfred North Whitehead, Principia Mathematica, 1st, Cambridge University Press, 1910–1913.
Paul Gilmore, A proof procedure for quantification theory: its justification and realisation, in IBM Journal of Research and Development, vol. 4, 1960, pp. 28–35, DOI:10.1147/rd.41.0028.

bnf.fr

gallica.bnf.fr

Gottlob Frege, Begriffsschrift, Verlag Louis Neuert, 1879.

doi.org

dx.doi.org

Paul Gilmore, A proof procedure for quantification theory: its justification and realisation, in IBM Journal of Research and Development, vol. 4, 1960, pp. 28–35, DOI:10.1147/rd.41.0028.

intellektik.de

Wolfgang Bibel, Early History and Perspectives of Automated Deduction (PDF), in KI 2007, LNAI, n. 4667, Springer, 2007, pp. 2–18. URL consultato il 2 settembre 2012.

nyu.edu

cs.nyu.edu

Martin Davis, The Early History of Automated Deduction (ps), in Alan Robinson e Andrei Voronkov (a cura di), Handbook of Automated Reasoning, vol. 1, Elsevier, 2001.)

web.archive.org

Gottlob Frege, Die Grundlagen der Arithmetik (PDF), Breslau, Wilhelm Kobner, 1884 (archiviato dall'url originale il 10 giugno 2007).