Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science - Gilles Dowek - 書籍 - Springer International Publishing AG - 9783319089171 - 2014年7月15日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Gilles Dowek
Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

価格
¥ 8.775
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

513 pages, 58 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年7月15日
ISBN13 9783319089171
出版社 Springer International Publishing AG
ページ数 491
寸法 155 × 235 × 26 mm   ·   7,72 kg
言語 フランス語  
編集者 Dowek, Gilles

Gilles Dowekの他の作品を見る

すべて表示

Gilles Dowekのすべてを見る ( 例： Paperback Book )