• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Книга

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)

NY: ACM, 2014.
Ответственный редактор: T. Henzinger, D. Miller.
Главы книги
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)