Kowalki, R
Computational Logic and Human Thinking: How to be Artificially Intelligent Robert Kowalki - New York Cambridge University 2011 - xxii,310p. .ill. 21cm
Includes index
0521194822
Logic, symbolic and mathematical--Famous prolems--Rhetoric--mathematics
Q342 / .K69 C.3
Computational Logic and Human Thinking: How to be Artificially Intelligent Robert Kowalki - New York Cambridge University 2011 - xxii,310p. .ill. 21cm
Includes index
0521194822
Logic, symbolic and mathematical--Famous prolems--Rhetoric--mathematics
Q342 / .K69 C.3