CSE 472/572, Spring 2002

HW #7: AUTOMATED THEOREM PROVING

Last Update: 8 April 2002

Note: NEW or UPDATED material is highlighted

  1. Russell & Norvig, Ch. 9, p. 294, #9.1

  2. Russell & Norvig, Ch. 9, p. 295, #9.8

  3. Russell & Norvig, Ch. 9, p. 295, #9.9
NEW
DUE: AT THE START OF LECTURE: WEDNESDAY, APRIL 17



Copyright © 2002 by William J. Rapaport (rapaport@cse.buffalo.edu)
file: 572/S02/hw7.08ap02.2.html