Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series - W Bibel - 書籍 - Springer - 9789048150526 - 2010年12月9日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

W Bibel
Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 1998 edition

価格
¥ 25.152
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

他の形態でも入手可能：

347 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年12月9日
ISBN13 9789048150526
出版社 Springer
ページ数 347
寸法 156 × 234 × 18 mm   ·   485 g
編集者 Bibel, Wolfgang
編集者 Schmitt, P. H.

W Bibelの他の作品を見る

すべて表示

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