Harald Zankl
|
Computational Logic Institute of Compute Science University of Innsbruck Technikerstr. 21a/2 6020 Innsbruck Austria e-mail: Harald^Zankl(at)uibk^ac^at where ^ means (dot) phone: +43/512/507-96812 fax: +43/512/507-9887 office: 3M12 (ICT-building) office hours: Thursday 14:15 – 15:45 (during the semester) |
|