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

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

Order-sorted unification

Order-sorted unification

Jose Meseguer; Joseph A. Goguen; Gert Smolka

作者Jose Meseguer; Joseph A. Goguen; Gert Smolka
卷第8卷
期第4期
印刷ISSN0747-7171
电子ISSN1095-855X
文件大小1778.87KB
发表时间1989
DOI10.1016/s0747-7171(89)80036-7
页码383-413

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