CS 345 Class Handouts
Quick Guide to Lisp postscript pdf MS Word
Quick Guide to Lisp Implementation postscript pdf MS Word
Miterm 1 Review Sheet postscript pdf MS Word
Proving Programs Correct postscript pdf MS Word
Quick Guide to Prolog postscript pdf MS Word