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

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

Engineering with Logic

Bishop, Steve; Fairbairn, Matthew; Mehnert, Hannes; Norrish, Michael; Ridge, Tom; Sewell, Peter; Smith, Michael; Wansbrough, Keith

期刊名称Journal of the ACM
作者Bishop, Steve; Fairbairn, Matthew; Mehnert, Hannes; Norrish, Michael; Ridge, Tom; Sewell, Peter; Smith, Michael; Wansbrough, Keith
卷第66卷
期第1期
印刷ISSN0004-5411
文件大小3930.57KB
发表时间2018-12-12
DOI10.1145/3243650
页码1-77