Lógica na ciência da computação (Portuguese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Lógica na ciência da computação" in Portuguese language version.

refsWebsite

Global rank Portuguese rank

6^th place

23^rd place

2^nd place

4^th place

1^st place

3^rd place

6^th place

179^th place

198^th place

2,527^th place

3,642^nd place

low place

1,747^th place

2,256^th place

archive.org

Lewis, Harry R. (1981). Elements of the Theory of Computation. [S.l.]: Prentice Hall
Hofstadter, Douglas R. (5 de fevereiro de 1999). Gödel, Escher, Bach: An Eternal Golden Braid. [S.l.]: Basic Books. ISBN 978-0465026562
Newell, Allen; J.C. Shaw; H.C. Simon (1963). «Empirical explorations with the logic theory machine». In: Ed Feigenbaum. Computers and Thought. [S.l.]: McGraw Hill. pp. 109–133. ISBN 978-0262560924
Levesque, Hector; Ronald Brachman (1985). «A Fundamental Tradeoff in Knowledge Representation and Reasoning». In: Ronald Brachman and Hector J. Levesque. Reading in Knowledge Representation. [S.l.]: Morgan Kaufmann. ISBN 0-934613-01-X. The good news in reducing KR service to theorem proving is that we now have a very clear, very specific notion of what the KR system should do; the bad new is that it is also clear that the services can not be provided... deciding whether or not a sentence in FOL is a theorem... is unsolvable.

Kennedy, Juliette (21 de agosto de 2014). Interpreting Godel. [S.l.]: Cambridge University Press. ISBN 9781107002661. Consultado em 17 de agosto de 2015
Stavridou, Victoria (1993). Formal Methods in Circuit Design. [S.l.]: Press Syndicate of the University of Cambridge. ISBN 0-521-443369. Consultado em 26 de dezembro de 2013

Barr, Michael; Charles Wells (1998). Category Theory for Computing Science (PDF). [S.l.]: Centre de Recherches Mathématiques

McCarthy, John; P.J. Hayes (1969). «Some philosophical problems from the standpoint of artificial intelligence» (PDF). Machine Intelligence. 4: 463–502