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