位置:成果数据库 > 期刊 > 期刊详情页
Algebraic proofs over noncommutative formulas
  • ISSN号:0890-5401
  • 期刊名称:Information and Computation
  • 时间:2011.8.4
  • 页码:1269-1292
  • 相关项目:通讯、密码及量子信息之复杂性问题研究
作者: I. Tzameret|
同期刊论文项目
同项目期刊论文