We will be undergoing system maintenance on May 16th, 2024 from 2 am through 6 am central time. The system will be unavailable during that time. Please plan accordingly.
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
9780262301411
