この商品を友人に教える:
Logical Foundations of Computer Science: Proceedings (International Symposium, Lfcs '94, St.petersburg, Russia, July 11-14, 1994 - Proceedings) - Lecture Notes in Computer Science Anil Nerode
価格
¥ 8.610
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月8日 - 年12月18日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Logical Foundations of Computer Science: Proceedings (International Symposium, Lfcs '94, St.petersburg, Russia, July 11-14, 1994 - Proceedings) - Lecture Notes in Computer Science
Anil Nerode
This volume of conference proceedings reflects the interaction between mathematical logic and computer science. The contributors discuss linear logic, Horn clauses, model checking, lambda calculi, modal logic and problem complexity.
408 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 1994年6月8日 |
| ISBN13 | 9783540581406 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 408 |
| 寸法 | 216 × 279 × 21 mm · 576 g |
| 言語 | ドイツ語 |
| 編集者 | Matiyasevich, Yuri |
![Cover for Anil Nerode · Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut (Paperback Book) [1st ed. 2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/155/9783031116155.jpg?anil-nerode-2023-algebraic-curves-and-riemann-surfaces-for-undergraduates-the-theory-of-the-donut-paperback-book&class=scaled&v=1695414505)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Paperback Book) [Softcover Reprint of the Original 2nd Ed. 1997 edition] (2012)](https://imusic.b-cdn.net/images/item/original/550/9781461268550.jpg?anil-nerode-2012-logic-for-applications-texts-in-computer-science-paperback-book&class=scaled&v=1516284796)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Hardcover Book) [2nd Ed. 1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/935/9780387948935.jpg?anil-nerode-1997-logic-for-applications-texts-in-computer-science-hardcover-book&class=scaled&v=1409851816)
