Univ.-Prof. Dr. Aart Middeldorp   

Institute of Computer Science
University of Innsbruck
Technikerstr. 21a
6020 Innsbruck
Austria

office, email, phone, consultation hours   Computational Logic research group


recommended events
recommended journals
recommended proceedings