Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings) - Lecture Notes in Computer Science - Anil Nerode - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540557074 - 1992年6月24日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Anil Nerode

Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings) - Lecture Notes in Computer Science

価格
£ 41,99
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月3日 - 年12月15日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

The papers in this volume were selected for the Symposium Logic, held at Tver in July 1992. The text provides information on the state of computer science research in the former Soviet Union and presents important discoveries in the field of logical foundations of computer science.

517 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1992年6月24日
ISBN13 9783540557074
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 517
寸法 155 × 233 × 27 mm   ·   734 g
言語 ドイツ語  
編集者 Nerode, Anil
編集者 Taitslin, Mikhail
すべて表示

Anil Nerodeの他の作品を見る

Anil Nerodeのすべてを見る ( 例： Paperback Book および Hardcover Book )