LICS proceedings of the 2015 30th annual ACM/IEEE Symposium on Logic in Computer Science

Detalles Bibliográficos
Autores Corporativos:	Symposium on Logic in Computer Science (-), Association for Computing Machinery. Special Interest Group on Logic and Computation, sponsoring body (sponsoring body), IEEE Computer Society, sponsoring body
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	Washington, District of Columbia : IEEE Computer Society 2015.
Colección:	ACM Conferences
Materias:	Computer logic > Congresses. Electronic data processing > Congresses. Computer programming > Congresses.
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712884906719

Descripción
Descripción Física:	1 online resource (764 pages)

Ejemplares similares