Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic - - Libros - Springer-Verlag New York Inc. - 9781461267089 - 14 de febrero de 2013
En caso de que portada y título no coincidan, el título será el correcto

Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 1993 edition

Precio
$ 158,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper.

844 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de febrero de 2013
ISBN13 9781461267089
Editores Springer-Verlag New York Inc.
Páginas 816
Dimensiones 150 × 220 × 10 mm   ·   1,29 kg
Lengua Inglés  
Editor Crossley, John N.
Editor Remmel, Jeffrey B.
Editor Shore, Richard
Editor Sweedler, Moss E.

Mere med samme udgiver