LICS '17 : Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science

LICS '17 Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science

LICS is an annual international forum on the broad range of topics that lie at the intersection of computer science and mathematical logic.

Detalles Bibliográficos
Otros Autores: Aceto, Luca, author (author), Ingólfsdóttir, Anna, author
Formato: Libro electrónico
Idioma:Inglés
Publicado: Piscataway, New Jersey : IEEE 2017.
Colección:ACM Conferences
Materias:
Computer logic > Congresses.
Computer programming > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713698006719

Ejemplares similares

Ejemplares similares