Bertram Felgenhauer

Bertram Felgenhauer

Computational Logic Research Group
Institute of Computer Science
University of Innsbruck
Austria

office hours: Tuesday, 16:00 – 17:30
room: 3M03
phone: +43/512/507-53263
email: bertram.felgenhauer__AT__uibk.ac.at