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

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 Softcover reprint of hardcover 1st ed. 1998 edition

価格
¥ 32.563
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月13日 - 年10月23日
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.

450 pages, biography

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

W Bibelの他の作品を見る

すべて表示

同じ出版社からのその他の記事

W Bibelのすべてを見る