当前位置:首页 » 翻译 
  • 匿名
关注:1 2013-05-23 12:21

求翻译:As mentioned earlier, syntactic unification of first-order terms was introduced by Post and Herbrand in the early part of this century. 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是什么意思?

待解决 悬赏分:1 - 离问题结束还有
As mentioned earlier, syntactic unification of first-order terms was introduced by Post and Herbrand in the early part of this century. 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
问题补充:

  • 匿名
2013-05-23 12:21:38
如前所述,一阶的语法统一后和herbrand介绍,在本世纪初的一部分。不同的研究者们进一步研究的问题[cham​​peaux 1986年,科尔宾和bidoit 1983年,HUET 1976年,马尔泰利和蒙坦1982年,帕特森和韦格曼1978年,罗宾逊1971年,文图里尼,zilli 1975],并在其他结果,它表明,线性时间算法统一存在马尔泰利和蒙坦1976年,帕特森和韦格曼1978]。由dwork,kanellakis和相应降低了复杂性约束
  • 匿名
2013-05-23 12:23:18
如前所述,人造的统一条款命令介绍了邮政和赫布兰德在本世纪早期。 各种研究人员研究了1986年问题进一步[香浦,科尔宾先生和bidoit1983年,许特1976年,马特利和1982年蒙塔纳里,Paterson和韦格曼1978年,鲁滨逊1971年,venturini-zilli1975],除其他结果,显示线性时间算法
  • 匿名
2013-05-23 12:24:58
  • 匿名
2013-05-23 12:26:38
  • 匿名
2013-05-23 12:28:18
 
 
网站首页

湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区

 
关 闭