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

価格
¥ 31.788
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月16日 - 年11月26日
クリスマスプレゼントは1月31日まで返品可能です
W Bibel の新しいリリースのお知らせを受け取る

お客様の声：

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のすべてを見る