CS 157:
Computational Logic
Terms: Aut
| Units: 3
| UG Reqs: GER:DB-EngrAppSci, WAY-FR
2023-2024 Autumn
-
CS 157 |
3 units |
UG Reqs: GER:DB-EngrAppSci, WAY-FR |
Class # 5146 |
Section 01 |
Grading: Letter or Credit/No Credit |
LEC
| In Person
| 09/26/2023 - 12/08/2023 Tue, Thu 1:30 PM - 2:50 PM at NVIDIA Auditorium with Genesereth, M. (PI); Hardy, A. (TA)
Instructors: Genesereth, M. (PI); Hardy, A. (TA)