30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast Customer Service
If you need help, our friendly customer service team is here to help!
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.

Automated Deduction - CADE-11

Author: 


ISBN-13: 

9783540556022


ISBN: 

3540556028


Pub Date: 
Publisher:  Springer
Summary: This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel theoremprovers; ...unification theory; constraint solving; logic programing; verification; multivalued, temporal and nonclassical logics; non-monotonic reasoning; planning; proof theory; higher-order logics; and inductive theorem proving. Each submission was reviewed by at least three program committee members and 46 papers were selected for presentation and publication. This volume also contains short descriptions of 23 implementations of automated deduction systems. The volume opens with a keynote address by Larry Wos, winner of the first Herbrand Award for Distinguished Contributions to Automated Reasoning.

Kapur, D. is the author of Automated Deduction - CADE-11, published 1992 under ISBN 9783540556022 and 3540556028. Four hundred ninety four Automated Deduction - CADE-11 textbooks are available for sale on ValoreBooks.com, two used from the cheapest price of $224.11, or buy new starting at $148.81.
 [read more]

Marketplace Prices
492 New from $148.81 2 Used from $224.11
  • Used $224.11
  • New $148.81
Price + Shipping
Condition
Details
Recommended
Product Details
Automated Deduction - CADE-11

ISBN-13: 9783540556022


ISBN: 3540556028


Pub Date:
Publisher: Springer
Valore Books is the college student's top choice for cheap Automated Deduction - CADE-11 rentals, or new and used copies ready to be shipped fast.
Where's My Stuff?
Shipping & Returns