Logical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedings

Detalles Bibliográficos
Autores principales: Artemov, Sergei, Nerode, Anil
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761446
Descripción
Descripción no disponible.

Ejemplares similares