Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic - Crossley - Grāmatas - Birkhauser Boston Inc - 9780817636906 - 1994. gada 26. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic 1993 edition

Cena
€ 177,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 9. - 23. sept.
Saņemiet paziņojumus par jauniem Crossley izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.


816 pages, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Vienību skaits 2
Izlaists 1994. gada 26. janvāris
ISBN13 9780817636906
Izdevēji Birkhauser Boston Inc
Lapas 816
Izmēri 155 × 235 × 44 mm   ·   1,33 kg
Valoda Angļu  
Redaktors Crossley, John N.
Redaktors Remmel, Jeffrey B.
Redaktors Shore, Richard
Redaktors Sweedler, Moss E.

Vairāk no tā paša izdevēja

Skatīt visus Crossley