School of Computer Science Tel Aviv University, Tel Aviv 69978, Israel;
机译:基于模糊集理论的监测对象在监测对象中分配程序的形式化
机译:使用Auto2在无类型集理论中对基本组进行形式化
机译:使用Auto2将基本组的形式化进行基本组
机译:使用Auto2在无类型集理论中对基本组进行形式化
机译:社会学习,社会控制和压力理论:微观犯罪学理论的形式化
机译:通过形式化学版理论促进复杂性科学与临床实践之间的差距:功能分析的计算模型
机译:基于静态集项使用的集合理论形式化框架
机译:规则集的代数结构理论。 I.生产系统和决策表的形式化