Automated Theorem Proving in Isabelle/HOL
VU 4 WS 2006/07 LVA 703861
Lecturers
Consultation times | |||||
VO | Clemens Ballarin | Thursday | 14:00 - 16:00 | 3N07 | |
UE | Tjark Weber | TBA | TBA | TBA |
VU 4 WS 2006/07 LVA 703861
Consultation times | |||||
VO | Clemens Ballarin | Thursday | 14:00 - 16:00 | 3N07 | |
UE | Tjark Weber | TBA | TBA | TBA |