Institute of Discrete Mathematics and Geometry (E104), Vienna University of Technology, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria;
机译:在大学证据的几何课程之后,在基于转换的一致性证据的校准教师熟练
机译:促进神经营养因子治疗与年龄相关的神经退行性疾病:研发和证明帕金森氏病中AAV神经氨酸(CERE-120)的“临床概念证明”
机译:CERES:Furstenberg证明素数无穷大的证明
机译:系统描述:证明转换系统CERES *
机译:循环并行转换的证明理论。
机译:双边变换基本性质的简单分析证明
机译:系统描述:证明转换系统CERES
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息