第 1/4 張圖片
圖片庫
第 1/4 張圖片
有類似物品要出售？
Handbook Of Automated Reasoning: Volume I and II
US $499.99
大約HK$ 3,911.97
狀況：
“Library copy. Great condition except for stickers on spine and library card in inside cover.”
良好
曾被閱讀過的書籍，但狀況良好。封面有諸如磨痕等在內的極少損壞，但沒有穿孔或破損。精裝本書籍可能沒有書皮。封皮稍有磨損。絕大多數書頁未受損，存在極少的褶皺和破損。使用鉛筆標注文字處極少，未對文字標記，無留白處書寫文字。沒有缺頁。
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
運送：
US $8.22（大約 HK$ 64.31） USPS Media MailTM.
所在地：Minneapolis, Minnesota, 美國
送達日期：
估計於 8月22日 (星期五)至 8月28日 (星期四)之間送達 運送地點 94104
退貨：
不可退貨.
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
賣家必須承擔此刊登物品的所有責任。
eBay 物品編號：156918597771
物品細節
- 物品狀況
- 良好
- 賣家備註
- “Library copy. Great condition except for stickers on spine and library card in inside cover.”
- Book Title
- Handbook Of Automated Reasoning: Volume I
- ISBN
- 9780444829498
關於產品
Product Identifiers
Publisher
Elsevier Science & Technology
ISBN-10
0444829490
ISBN-13
9780444829498
eBay Product ID (ePID)
2030325
Product Key Features
Number of Pages
996 Pages
Language
English
Publication Name
Handbook of Automated Reasoning
Subject
Programming / General, Information Theory, Intelligence (Ai) & Semantics, Computer Science, Logic, Logic Design
Publication Year
2001
Type
Textbook
Subject Area
Mathematics, Computers
Series
Handbook of Automated Reasoning Ser.
Format
Hardcover
Dimensions
Item Weight
70.4 Oz
Item Length
9.4 in
Item Width
6.5 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
2001-090839
Dewey Edition
21
Series Volume Number
Volume I
Number of Volumes
2 vols.
Illustrated
Yes
Volume Number
Volume I
Dewey Decimal
511.3
Table Of Content
Part I. History 1. The Early History of Automated Deduction (Martin Davis) Part II. Classical Logic. 2. Resolution Theorem Proving (Leo Bachmair, Harald Ganzinger) 3. Tableaux and Related Methods (Reiner Hähnle) 4. The Inverse Method (Anatoli Degtyarev, Andrei Voronkov) 5. Normal Form Transformations (Matthias Baaz, Uwe Egly, Alexander Leitsch) 6. Computing Small Clause Normal Forms (Andreas Nonnengart, Christoph Weidenbach) Part III. Equality and other theories. 7. Paramodulation-Based Theorem Proving (Robert Nieuwenhuis, Albert Rubio) 8. Unification Theory (Franz Baader, Wayne Snyder) 9. Rewriting (Nachum Dershowitz, David A. Plaisted) 10. Equality Reasoning in Sequent-Based Calculi (Anatoli Degtyarev, Andrei Voronkov) 11. Automated Reasoning in Geometry (Shang-Ching Chou, Xiao-Shan Gao) 12. Solving Numerical Constraints (Alexander Bockmayr, Volker Weispfenning) Part IV. Induction. 13. The Automation of Proof by Mathematical Induction (Alan Bundy) 14. Inductionless Induction (Hubert Comon)
Synopsis
This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
LC Classification Number
QA76.9.A96H35 2001
賣家提供的物品說明
賣家信用評價 （833）
- h***t (209)- 買家留下的信用評價。過去 1 個月購買已獲認證Good seller. Cards arrived as described.
- w***a (7159)- 買家留下的信用評價。過去 1 個月購買已獲認證Thanks
- 1***4 (2228)- 買家留下的信用評價。過去 1 個月購買已獲認證Good ebayer ++++