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

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

[ACM Press the 19th annual conference - San Antonio, Texas, United States (1991..-..)] Proceedings of the 19th annual conference on Computer Science  - CSC '91 - Termination via conditional reductions

[ACM Press the 19th annual conference - San Antonio, Texas, United States (1991..-..)] Proceedings of the 19th annual conference on Computer Science - CSC '91 - Termination via conditional reductions

Baird, Timothy B.; Wilkerson, Ralph W.
  • 作者Baird, Timothy B.; Wilkerson, Ralph W.
  • 文件大小710.14KB
  • 发表时间1991
  • DOI10.1145/327164.327207
  • 页码53-60
← 返回【学霸图书馆】主页