CS 157: Logic and Automated Reasoning
2015-2016 Autumn
-
CS 157 |
3 units |
UG Reqs: GER:DB-EngrAppSci |
Class #
15432
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2015-2016 Autumn 1
| In Person
| Students enrolled: 123
09/21/2015 - 12/04/2015 Tue, Thu 12:00 PM - 1:20 PM at Gates B1 with Genesereth, M. (PI); Grace, M. (TA); Lee, C. (TA)
Exam Date/Time: 2015-12-09 12:15pm - 3:15pm (Exam Schedule)
Instructors: Genesereth, M. (PI); Grace, M. (TA); Lee, C. (TA)
Filter Results: