Mostrando 1 - 1 Resultados de 1 Para Buscar 'Henzinger, Thomas Contributor', tiempo de consulta: 0.04s Limitar resultados
  1. 1
    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
    por Henzinger, Thomas
    Publicado 2014
    Otros Autores: “…Henzinger, Thomas Contributor…”
    Libro electrónico
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda