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)
| フォーマット: | 電子媒体 eBook |
|---|---|
| 言語: | 英語 |
| 出版事項: |
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