Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic - Crossley - Kirjat - Birkhauser Boston Inc - 9780817636906 - keskiviikko 26. tammikuuta 1994
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 150,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 7. - 15. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

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

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Tuotteiden määrä 2
Julkaisupäivämäärä keskiviikko 26. tammikuuta 1994
ISBN13 9780817636906
Tuottaja Birkhauser Boston Inc
Sivujen määrä 816
Mitta 155 × 235 × 44 mm   ·   1,33 kg
Kieli Englanti  
Toimittaja Crossley, John N.
Toimittaja Remmel, Jeffrey B.
Toimittaja Shore, Richard
Toimittaja Sweedler, Moss E.

Lisää tuotteita Crossley

Näytä kaikki