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

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

Boolean unification — The story so far

Boolean unification — The story so far

Urusula Martin; Tobias Nipkow

作者Urusula Martin; Tobias Nipkow
卷第7卷
印刷ISSN0747-7171
电子ISSN1095-855X
文件大小1045.93KB
发表时间1989
DOI10.1016/s0747-7171(89)80013-6
页码275-293

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