Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series - Art Quaife - 書籍 - Kluwer Academic Publishers - 9780792320210 - 1992年11月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Art Quaife

Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series 1993 edition

価格
R$ 1.266,90
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

Provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover Otter. Here, the author presents a clausal version of von Neumann-Bernays-Godel set theory, and lists over 400 theorems proved semi-automatically in elementary set theory.

291 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1992年11月30日
ISBN13 9780792320210
出版社 Kluwer Academic Publishers
ページ数 291
寸法 156 × 234 × 17 mm   ·   616 g
言語 英語  

Art Quaifeのすべてを見る ( 例： Hardcover Book )