Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) .
['Alan Bundy']
Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) .