机译:使用Auto2在无类型集理论中对基本组进行形式化
Tech Univ Munich, Chair Log & Verificat, Munich, Germany;
Isabelle; Set theory; Fundamental group;
机译:使用Auto2将基本组的形式化进行基本组
机译:基于模糊集理论的监测对象在监测对象中分配程序的形式化
机译:关于物理现象自然模型的Cantor集理论的形式化
机译:使用Auto2在无类型集理论中对基本组进行形式化
机译:社会学习,社会控制和压力理论:微观犯罪学理论的形式化
机译:通过形式化学版理论促进复杂性科学与临床实践之间的差距:功能分析的计算模型
机译:使用auto2在无类集合论中形式化基本群
机译:规则集的代数结构理论。 I.生产系统和决策表的形式化