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

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

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || The resolution rule: An algebraic perspective

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || The resolution rule: An algebraic perspective

Bergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L.

作者Bergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L.
文件大小1040.07KB
发表时间1990
DOI10.1007/bfb0043087
页码227-242

← 返回【学霸图书馆】主页