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

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

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Matching μ-Logic

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Matching μ-Logic

Chen, Xiaohong; Rosu, Grigore

作者Chen, Xiaohong; Rosu, Grigore
文件大小51.15KB
发表时间2019
DOI10.1109/LICS.2019.8785675
页码1-13

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