发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic

An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic

Buss, S. R.; Krajicek, J.
  • 期刊名称Proceedings of the London Mathematical Society
  • 作者Buss, S. R.; Krajicek, J.
  • 期第1期
  • 印刷ISSN0024-6115
  • 电子ISSN1460-244X
  • 文件大小2173.77KB
  • 发表时间1994-07-01
  • DOI10.1112/plms/s3-69.1.1
  • 页码1-21
← 返回【学霸图书馆】主页