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

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

[ACM Press the 17th International Symposium - Siena, Italy (2015.07.14-2015.07.16)] Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 - Proof checking and logic programming

[ACM Press the 17th International Symposium - Siena, Italy (2015.07.14-2015.07.16)] Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 - Proof checking and logic programming

Miller, Dale

作者Miller, Dale
文件大小266.79KB
发表时间2015
DOI10.1145/2790449.2790510
页码18-18

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