Obálka

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)

Podrobná bibliografie
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Association for Computing Machinery (ACM), 7/14/14
Témata:	Conference papers and proceedings.
On-line přístup:	Full text available on Research4Life (ACM)

Podobné jednotky

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
Autor: 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