Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
| 格式: | 电子 电子书 |
|---|---|
| 语言: | 英语 |
| 出版: |
Association for Computing Machinery (ACM),
7/14/14
|
| 主题: | |
| 在线阅读: | Full text available on Research4Life (ACM) |
相似书籍
Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Proceedings of the twenty-ninth annual symposium on Computational geometry
Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Proceedings of the twenty-third annual symposium on Computational geometry
Logical Methods in Computer Science | Logical Methods in Computer Science e.V.
Proceedings of the twenty-third annual ACM symposium on Theory of Computing
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Journal of Logic and Computation
Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Logic
由: Sheehan
由: Sheehan
Proceedings of the twenty-eighth annual symposium on Computational geometry
Proceedings of the twenty-sixth annual symposium on Computational geometry
Proceedings of the twenty-seventh annual symposium on Computational geometry
Proceedings of the twenty-fourth annual symposium on Computational geometry
Proceedings of the twenty-first annual symposium on Computational geometry
Proceedings of the twenty-second annual symposium on Computational geometry
Proceedings of the twenty-fifth annual symposium on Computational geometry
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms
Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
ACM Transactions on Computational Logic
CSL Connection
Modern Logic~The Review of Modern Logic
Proceedings of the twenty-second annual ACM symposium on Theory of Computing
Proceedings of the twenty-fourth annual ACM symposium on Theory of Computing
Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing
Proceedings of the twenty-sixth annual ACM symposium on Theory of Computing
Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Proceedings of the twenty-eighth annual ACM symposium on Theory of Computing
Proceedings of the twenty-first annual symposium on Principles of distributed computing
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Proceedings of the twenty-first annual ACM symposium on Theory of computing
Proceedings of the twenty-first annual conference on Computer personnel research