The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis - David A. Plaisted - 書籍 - Springer Fachmedien Wiesbaden - 9783528155742 - 1999年10月28日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

David A. Plaisted
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis 2nd ed. 1999 edition

価格
¥ 8.279
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月30日 - 年12月10日
クリスマスプレゼントは1月31日まで返品可能です
David A. Plaisted の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving methods, this book gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies.

172 pages, 3 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1999年10月28日
ISBN13 9783528155742
出版社 Springer Fachmedien Wiesbaden
ページ数 172
寸法 148 × 210 × 10 mm   ·   244 g
言語 英語   ドイツ語  
寄稿者 Rudolf Kruse
寄稿者 Wolfgang Bibel

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

David A. Plaistedのすべてを見る