信息

姓名: 马克斯·哈斯贝克
电子邮件: 马克西米利安·拉斯特姓名@uibk.ac.at
办公室: 3M09,2。OG,Technikerstraße 21a公司
ORCID代码: 0000-0002-9900-5746

关于我

自2018年3月起,我在计算逻辑在因斯布鲁克大学。我是该项目的成员认证程序的终止和复杂性证明.

出版物

教学