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

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

[ACM Press the 1992 ACM/SIGAPP Symposium - Kansas City, Missouri, United States (1992..-..)] Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing technological challenges of the 1990's - SAC '92 - Unification for completely commutative theories

[ACM Press the 1992 ACM/SIGAPP Symposium - Kansas City, Missouri, United States (1992..-..)] Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing technological challenges of the 1990's - SAC '92 - Unification for completely commutative theories

Murphy, Daniel
  • 作者Murphy, Daniel
  • 文件大小427.81KB
  • 发表时间1992
  • DOI10.1145/143559.143686
  • 页码547-553
← 返回【学霸图书馆】主页