CS 157: Logic and Automated Reasoning
2017-2018 Autumn
-
CS 157 |
3 units |
UG Reqs: GER:DB-EngrAppSci |
Class #
8447
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2017-2018 Autumn 1
| In Person
| Students enrolled: 225 / 250
09/25/2017 - 12/08/2017 Tue, Thu 12:00 PM - 1:20 PM at Gates B1 with Genesereth, M. (PI); Gross, R. (TA); Kala, C. (TA); Ray, S. (TA); Valdivia, H. (TA)
Exam Date/Time: 2017-12-14 12:15pm - 3:15pm (Exam Schedule)
Instructors: Genesereth, M. (PI); Gross, R. (TA); Kala, C. (TA); Ray, S. (TA); Valdivia, H. (TA)
Filter Results: