"Robert Kowalski, , Computational Logic and Human Thinking: How to Be ..."

Alan Bundy (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics