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

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

[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) - The Logic of Action Lattices is Undecidable

[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) - The Logic of Action Lattices is Undecidable

Kuznetsov, Stepan

作者Kuznetsov, Stepan
文件大小301.75KB
发表时间2019
DOI10.1109/lics.2019.8785659
页码1-9

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