Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic - Crossley - Książki - Birkhauser Boston Inc - 9780817636906 - 26 stycznia 1994
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 602,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń 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.

816 pages, biography

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Liczba jednostek 2
Wydane 26 stycznia 1994
ISBN13 9780817636906
Wydawcy Birkhauser Boston Inc
Strony 816
Wymiary 155 × 235 × 44 mm   ·   1,33 kg
Język Angielski  
Redaktor Crossley, John N.
Redaktor Remmel, Jeffrey B.
Redaktor Shore, Richard
Redaktor Sweedler, Moss E.

Więcej od Crossley

Pokaż wszystko

Zobacz wszystko od Crossley ( np. CD , Hardcover Book , Book i Paperback Book )