Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series - Peter H. Schmitt - 書籍 - Springer - 9780792351320 - 1998年6月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Peter H. Schmitt
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

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
Peter H. Schmitt の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

1294 pages, Illustrations

メディア 書籍     Book
リリース済み 1998年6月30日
ISBN13 9780792351320
出版社 Springer
ページ数 1294
寸法 150 × 220 × 20 mm   ·   2,13 kg   (重量（概算）)
言語 英語  
編集者 Bibel, Wolfgang
編集者 Schmitt, P.H.

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

Peter H. Schmittのすべてを見る