Prova automática de teoremas (Portuguese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Prova automática de teoremas" in Portuguese language version.

refsWebsite

Global rank Portuguese rank

124^th place

254^th place

1^st place

low place

1,174^th place

1,492^nd place

low place

4,511^th place

6,591^st place

low place

ac-nancy-metz.fr

Frege, Gottlob (1884). Die Grundlagen der Arithmetik (PDF). Breslau: Wilhelm Kobner. Consultado em 27 de setembro de 2013. Arquivado do original (PDF) em 26 de setembro de 2007

Bibel, Wolfgang (2007). «Early History e Perspectives of Automated Deduction» (PDF). Springer. KI 2007. LNAI (4667): 2–18. Consultado em 2 de setembro de 2012

Frege, Gottlob (1884). Die Grundlagen der Arithmetik (PDF). Breslau: Wilhelm Kobner. Consultado em 27 de setembro de 2013. Arquivado do original (PDF) em 26 de setembro de 2007