搜索筛选:
搜索耗时0.0760秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：Osman Hasan,Sofiène Tahar,
来源：计算机科学技术学报（英文版） 年份：2010
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem.Traditi...
[期刊论文] 作者：Liya Liu,Osman Hasan,Sofiène Tahar,
来源：计算机科学技术学报（英文版） 年份：2013
...
[期刊论文] 作者：Sa’ed Abed,Yassine Mokhtari,Otmane Ait-Mohamed,Sofiène Tahar,
来源：计算机科学技术学报(英文版) 年份：2011
Multiway Decision Graphs (MDGs) are a canonical representation of a subset of many-sorted first-order logic. This subset generalizes the logic of equality with...
相关搜索：
