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

求翻译:varieties of (representable) pointed bounded commutative residuated lattices. Gentzen systems admitting cut-是什么意思?

待解决 悬赏分:1 - 离问题结束还有
varieties of (representable) pointed bounded commutative residuated lattices. Gentzen systems admitting cut-
问题补充:

  • 匿名
2013-05-23 12:21:38
品种(表示)指出界交换剩余格。 gentzen系统承认截止
  • 匿名
2013-05-23 12:23:18
的品种(大数)指出楼宇residuated格子折算。 根岑系统承认减少─
  • 匿名
2013-05-23 12:24:58
品种(能上演)指向了一定可交换residuated格子。 Gentzen被削减的系统承认
  • 匿名
2013-05-23 12:26:38
品种 (偶数) 指出界交换剩余格。承认切-Gentzen 系统
  • 匿名
2013-05-23 12:28:18
 
 
网站首页

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

 
关 闭