Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Automated Deduction - Cade-13
Best Price (Coupon Required):
Buy Automated Deduction - Cade-13 for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
Reviews
Questions & Answers
Proceeding of 2022 International Conference on Wireless Communications, Networking and Applications
$39.99
Grundlagen der Hmatologie
$59.99
Teilhabeforschung Konturen eines neuen Forschungsfeldes
$49.99
Management Accounting in Supply Chains
$54.99
Wieviel Subjekt braucht die Theorie?
$49.99
Macroprudential Banking Supervision & Monetary Policy
$109.00
Computer Performance Evaluation. Modelling Techniques and Tools
$54.99
The Biodemography of Human Reproduction and Fertility
$109.99
Foreign Policy Change in Europe Since 1991
$179.99
Hans Henny Jahnns "Neuer Lbecker Totentanz"
$39.99
Emotionale Verkaufsintelligenz
$34.99
Computer-Human Interaction
$39.99
Thromboembolism in Orthopedic Surgery
$109.99
Risk Analysis and Reduction in the Chemical Process Industry
$219.99
Einfhrung in JavaFX/OpenJFX
$59.99
Endocrinology
$169.99
Indicators of Environmental Quality
$54.99
(Re)conceptualising Childrens Rights in Infant-Toddler Care and Education
$109.99
Navigating Institutional Racism in British Universities
$84.99
Recent Advances in Phototrophic Prokaryotes
$169.00
Strategisches Beschaffungsmanagement
$34.99
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis
$99.99
Scholastic Reader! Level 2-The Magic School Bus Rides Again: Deep-Sea Dive
$3.74
Pragmatistische Sozialforschung
$64.99
NASA's Voyager Missions
$29.99
The Traitor's Game (Hardcover)
$13.49
Aktuelle gastroenterologische Diagnostik
$44.99
Halluzinationen
$89.00
Inflation and Unemployment in a Monetary Union
$109.99
mHealth
$109.99
HVDC and FACTS Controllers
$129.00
Challenges of a Changing Earth
$219.99
Haptics: Neuroscience, Devices, Modeling, and Applications
$54.99
The Logic of Multiparty Systems
$39.99
Technologiepotentiale
$49.99
Strategisches Marketing-Controlling fr KMU
$64.99
Localized to Itinerant Electronic Transition in Perovskite Oxides
$259.00
Chief Police Officers Stories of Legitimacy
$59.99
Safe Zone
$59.99
Information Intelligence, Systems, Technology and Management
$39.99
