EEL-5840 Elements of Machine Intelligence


Home | Announcements
Syllabus (Fall '09) | Homework Sets | Exams | Class Examples
Feedback & Notes | Software and Documentation | Class Notes | Faculty
Announcements

Next: Class 29 T 11/03 Soundness & Completeness in the PC

           Class 30 R 11/05 Conversion to Clause Form

           Class 31 R 11/05 Resolution Refutation

Next: Class 32 T 11/10 Resolution Refutation Examples

Additional Information

You may wish to download... Last Updated by Dr. Arroyo