These courses use the book as a primary text.
The book is also used as a supplementary
or recommended additional text in a number of courses.
Some courses on logic programming and on computational linguistics
use Chapter 15 (By K.R. Apt) alone.
Return to J Mitchell home page