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

Name: Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic
Price: 25346 JPY
Availability: OutOfStock

価格

¥ 25.346

税抜

遠隔倉庫からの取り寄せ

発送予定日年9月23日 - 年10月5日

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

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

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

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2013年2月14日
ISBN13	9781461267089
出版社	Springer-Verlag New York Inc.
ページ数	816
寸法	150 × 220 × 10 mm · 1,29 kg
言語	英語
編集者	Crossley, John N.
編集者	Remmel, Jeffrey B.
編集者	Shore, Richard
編集者	Sweedler, Moss E.