Fields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday

Detalles Bibliográficos
Autores principales: Beklemishev, Lev D, Blass, Andreas, Dershowitz, Nachum, Finkbeiner, Bernd, Schulte, Wolfram
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761722
Descripción
Descripción no disponible.

Ejemplares similares