ROBERT W MCGRAIL  COMPUTER SCIENCE  SCIENCE  BARD COLLEGE     
HOME
 

Title: Automated Deduction Tutorial
Professor:  Robert W. McGrail
Meeting: Monday and Wednesday, 1:30-2:30, Albee 317.
Text: Clause and Effect:  PROLOG Programming for the Working Programmer.  William F. Clocksin.  Springer-Verlag. 2003. ISBN: 3-540-62971-8.

News


11/16/06 -

This is the title of news article 0001
12/22/04 - This is the teaser of news article 0001

Top of page Recommend page Print version Contact  Accessible Version  Imprint