COMPUTATIONAL LOGIC AND HUMAN THINKING cambridge universit
Computational Logic and Human Thinking How to be Artificially Intelligent Robert Kowalski, Imperial College London The practical benefits of computational logic need not be limited to mathematics and ...