Baaz

lastnameBaaz
firstnameMatthias
organisationResearch Unit Computational Logic, Institute of Discrete Mathematics and Geometry, University of Technology, Wien
websitehttps://www.logic.at/staff/baaz
old_uid11568
Contact #142622 - latest update on 2015/11/05, created on 2015/10/29