"synopsis" may belong to another edition of this title.
"About this title" may belong to another edition of this title.
Shipping:
US$ 5.24
Within U.S.A.
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 1.5. Seller Inventory # Q-1402026528
Book Description Condition: New. Seller Inventory # ABLIING23Mar2411530142453
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9781402026522_lsuk
Book Description Condition: New. pp. 360. Seller Inventory # 26323269
Book Description Condition: New. pp. 360 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 7557402
Book Description Gebunden. Condition: New. On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model buildi. Seller Inventory # 458473872