"synopsis" may belong to another edition of this title.
Shipping:
US$ 4.98
Within U.S.A.
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 1.15. Seller Inventory # Q-0387950753
Book Description Condition: New. Seller Inventory # ABLIING23Feb2215580174351
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780387950754_lsuk
Book Description Hardcover. Condition: new. Seller Inventory # 9780387950754
Book Description Gebunden. Condition: New. This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introdu. Seller Inventory # 5912322