Hector J. Levesque

Hector J. Levesque is Professor Emeritus in the Department of Computer Science at the University of Toronto. He is the author of The Logic of Knowledge Bases and Thinking as Computation: A First Course (both published by the MIT Press).


Books

Thinking as Computation
Thinking as Computation by Levesque 9780262301411