CS 157: Logic and Automated Reasoning
2016-2017 Autumn
-
CS 157 |
3 units |
UG Reqs: GER:DB-EngrAppSci |
Class #
8505
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2016-2017 Autumn 1
| In Person
| Students enrolled: 140
09/26/2016 - 12/09/2016 Tue, Thu 12:00 PM - 1:20 PM at Gates B1 with Genesereth, M. (PI); Bartolo, A. (TA); Cate, H. (TA); Grinberg, J. (TA); Gross, R. (TA)
Exam Date/Time: 2016-12-15 12:15pm - 3:15pm (Exam Schedule)
Instructors: Genesereth, M. (PI); Bartolo, A. (TA); Cate, H. (TA); Grinberg, J. (TA); Gross, R. (TA)
Filter Results: