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

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

Programming from Galois connections

Programming from Galois connections

Mu, Shin-Cheng; Oliveira, José Nuno

期刊名称The Journal of Logic and Algebraic Programming
作者Mu, Shin-Cheng; Oliveira, José Nuno
卷第81卷
期第6期
印刷ISSN1567-8326
文件大小484.97KB
发表时间2012-8
DOI10.1016/j.jlap.2012.05.003
页码680-704

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