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

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

[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) - Completeness for Game Logic

Enqvist, Sebastian; Hansen, Helle Hvid; Kupke, Clemens; Marti, Johannes; Venema, Yde

作者Enqvist, Sebastian; Hansen, Helle Hvid; Kupke, Clemens; Marti, Johannes; Venema, Yde
文件大小431.46KB
发表时间2019
DOI10.1109/lics.2019.8785676
页码1-13