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

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

[Lecture Notes in Computer Science] Conditional Term Rewriting Systems Volume 308 || A logic for conditional term rewriting systems

[Lecture Notes in Computer Science] Conditional Term Rewriting Systems Volume 308 || A logic for conditional term rewriting systems

Kaplan, S.; Jouannaud, J. -P.

作者Kaplan, S.; Jouannaud, J. -P.
文件大小792.21KB
发表时间1988
DOI10.1007/3-540-19242-5_16
页码212-227

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