|
关注：1
2013-05-23 12:21
求翻译：Various researchers have studied the problem further [Champeaux 1986, Corbin and Bidoit 1983, Huet 1976, Martelli and Montanari 1982, Paterson and Wegman 1978, Robinson 1971, Venturini-Zilli 1975] and, among other results, it was shown that linear time algorithms for unification exist [Martelli and Montanari 1976, Pate是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
Various researchers have studied the problem further [Champeaux 1986, Corbin and Bidoit 1983, Huet 1976, Martelli and Montanari 1982, Paterson and Wegman 1978, Robinson 1971, Venturini-Zilli 1975] and, among other results, it was shown that linear time algorithms for unification exist [Martelli and Montanari 1976, Pate
问题补充： |
|
2013-05-23 12:21:38
不同的研究者们进一步研究的问题[champeaux 1986年，科尔宾和bidoit 1983年，HUET 1976年，马尔泰利和蒙坦1982年，帕特森和韦格曼1978年，罗宾逊1971年，文图里尼，zilli 1975]，并在其他结果，它表明，线性时间算法统一存在马尔泰利和蒙坦1976年，帕特森和韦格曼1978]。
|
|
2013-05-23 12:23:18
各种研究人员研究了1986年问题进一步[香浦,科尔宾先生和bidoit1983年,许特1976年,马特利和1982年蒙塔纳里,Paterson和韦格曼1978年,鲁滨逊1971年,venturini-zilli1975],除其他结果,显示线性时间算法对统一存在[马特利和1976年蒙塔纳里,Paterson和韦格曼1978]。
|
|
2013-05-23 12:24:58
正在翻译，请等待...
|
|
2013-05-23 12:26:38
正在翻译，请等待...
|
|
2013-05-23 12:28:18
null
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
