Loading AI tools
Found in articles
ゲーデル賞
doi:10.1137/S0097539795293172, ISSN 1095-7111 ^ Vardi, Moshe Y.; Wolper, Pierre (1994), “Reasoning about infinite computations”, Information and Computation
Universitas Leodiensis 種別 フランス語共同体の公立大学 設立年 1817年 (207年前) (1817) 学長 Prof. Pierre Wolper Administrator Laurent Despy 教員数 1,398 (2018) 職員数 2,022 (2018) 学生総数 24