Automatsko dokazivanje teorema (Serbian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Automatsko dokazivanje teorema" in Serbian language version.

refsWebsite

Global rank Serbian rank

1^st place

6^th place

5^th place

124^th place

599^th place

low place

6,958^th place

low place

1,174^th place

1,978^th place

ac-nancy-metz.fr

Frege, Gottlob (1884). Die Grundlagen der Arithmetik (PDF). Breslau: Wilhelm Kobner. Архивирано из оригинала (PDF) 2007-09-26. г. Приступљено 2012-09-02.

Russell, Bertrand; Whitehead, Alfred North (1910—1913). Principia Mathematica (1st изд.). Cambridge University Press.
Russell, Bertrand; Whitehead, Alfred North (1927). Principia Mathematica (на језику: енглески) (2nd изд.). Cambridge University Press.

Herbrand, J. (1930). Recherches sur la théorie de la démonstration (PhD) (на језику: француски). University of Paris.

Frege, Gottlob (1884). Die Grundlagen der Arithmetik (PDF). Breslau: Wilhelm Kobner. Архивирано из оригинала (PDF) 2007-09-26. г. Приступљено 2012-09-02.
Davis, Martin (2001). „The Early History of Automated Deduction”. Robinson & Voronkov 2001. Архивирано из оригинала 2012-07-28. г. Приступљено 2012-09-08.