Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /

Fields of Logic and Computation II This Festschrift has been published in honor of Yuri Gurevich, on the occasion of his 75th birthday. Yuri Gurevich has made a number of fundamental contributions  to the broad spectrum of logic and computer science, including decision procedures, the monadic theory...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Beklemishev, Lev D. (Editor ), Blass, Andreas (Editor ), Dershowitz, Nachum (Editor ), Finkbeiner, Bernd (Editor ), Schulte, Wolfram (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Colección:Programming and Software Engineering, 9300
Temas:
Computer programming.
Programming Techniques.
Acceso en línea:Texto Completo

Ejemplares similares

Ejemplares similares