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 - 9780792351306 - 1998年6月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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 1998 edition

価格
¥ 33.408
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

他の形態でも入手可能：

BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.

448 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1998年6月30日
ISBN13 9780792351306
出版社 Springer
ページ数 434
寸法 160 × 241 × 29 mm   ·   807 g
言語 英語  
編集者 Bibel, Wolfgang
編集者 Schmitt, P.H.

W Bibelの他の作品を見る

すべて表示

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