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)

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)

Bibliografiske detaljer
Format:	Electronisk Bog
Sprog:	English
Udgivet:	Association for Computing Machinery (ACM), 7/14/14
Fag:	Conference papers and proceedings.
Online adgang:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Lignende værker

Logic in Computer Science (LICS), Annual Symposium on

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Proceedings of the twenty-ninth annual symposium on Computational geometry

Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Proceedings of the twenty-ninth annual ACM symposium on Theory of computing

Proceedings of the twenty-third annual symposium on Computational geometry

Summary Proceedings of the Twenty-Ninth Annual Meeting of the Board of Governors 1974.
Udgivet: (1974)

Proceedings of the twenty-third annual ACM symposium on Theory of Computing

Logics in Computer Science
af: Mogavero
Udgivet: (2013)

Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing

Summary Proceedings of the Twenty-Third Annual Meeting of the Board of Governors, 1968.
Udgivet: (1968)

Logical Foundations of Computer Science
Udgivet: (2013)

Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms

Logical Methods in Computer Science | Logical Methods in Computer Science e.V.

Logical Methods in Computer Science | Logical Methods in Computer Science e.V.

Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education

Proceedings of the twenty-sixth annual symposium on Computational geometry

Proceedings of the twenty-eighth annual symposium on Computational geometry

Proceedings of the twenty-fourth annual symposium on Computational geometry

Proceedings of the twenty-fifth annual symposium on Computational geometry

Proceedings of the twenty-seventh annual symposium on Computational geometry

Proceedings of the twenty-second annual symposium on Computational geometry

Proceedings of the twenty-first annual symposium on Computational geometry

2011 IEEE 26th Annual Symposium on Logic in Computer Science

2012 27th Annual IEEE Symposium on Logic in Computer Science

2010 25th Annual IEEE Symposium on Logic in Computer Science

Proceedings of the twenty-first annual ACM symposium on Theory of computing

Proceedings of the twenty-second annual ACM symposium on Theory of Computing

Proceedings of the twenty-eighth 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 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 32nd Annual ACM/IEEE Symposium on Logic in Computer Science

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science