Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science - Tobias Nipkow - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540643012 - 1998年3月11日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Tobias Nipkow
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science

価格
Ft 18.308
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming.

346 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1998年3月11日
ISBN13 9783540643012
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 346
寸法 156 × 234 × 18 mm   ·   503 g
言語 ドイツ語  
編集者 Nipkow, Tobias
すべて表示

Tobias Nipkowの他の作品を見る

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