Stefan Blom's Home Page
Other sources of information
Teaching related info is on the
Computational Logic
website.
Contact Information
email:
stefan.blom at uibk.ac.at
phone:
+43 (512) 507 6434
office:
3N01
Publications