|
2.
|
Fields of logic and computation ii : essays dedicated to yuri gurevich on the occasion of his 75th birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte. por
- Beklemishev, Lev D [editor.]
- Blass, Andreas [editor.]
- Dershowitz, Nachum [editor.]
- Finkbeiner, Bernd [editor.]
- Schulte, Wolfram [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9300
Edición: 1st ed. 2015.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2015
Disponibilidad: No hay ítems disponibles.
|