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
Introduction to Hyperbolic Geometry
$89.99
Progress in Mathematical Programming
$54.99
The Meaning of Aristotles Ontology
$54.99
Access to Bank Credit and SME Financing
$129.00
Genetik
$59.99
Perspectives on Lifelong Learning and Global Citizenship
$54.99
Chefsache Prvention I
$29.99
Microplastics in African and Asian Environments
$139.00
Timothy Goes To School
$6.50
The Forms of Michael Field
$129.99
Mathematical Modeling for Industrial Processes
$54.99
Preiskomplexitt von dynamischen Stromtarifen
$59.99
Anna, Banana, and the Big-Mouth Bet
$5.21
Tadpole - Outdoor Explorer: I See Leaves
$5.21
Schaltungstheorie und Messtechnik des Dezimeter- und Zentimeterwellengebietes
$24.99
Advanced Information Systems Engineering
$39.99
The Far-Right in Contemporary Australia
$129.99
ChatGPT and Bard for Business Automation
$49.99
Ion Channel Reconstitution
$84.99
Wolfram von Eschenbach
$29.99
Mineralgerbung und andere nicht rein pflanzliche Gerbungsarten
$84.99
Food Composition Data
$39.99
Development of a Cyber Physical System for Fire Safety
$54.99
Parteienwettbewerb in den deutschen Bundeslndern
$39.99
Tissue-Specific Cell Signaling
$99.00
Diophantine Approximation
$69.99
International Business Finance
$44.99
Optimization, Learning, and Control for Interdependent Complex Networks
$54.99
Introducing Microsoft Orleans
$44.99
The Algae World
$299.99
Advanced Experimental Techniques in Powder Metallurgy
$39.99
Controversies around treatment of the open duct
$39.99
Die Transintentionalitt des Sozialen
$49.99
Zwischen Differenz und Differenzierung
$59.99
Simulated Evolution and Learning
$54.99
The Way Home Looks Now
$5.99
Robotics in Practice
$54.99
Cities, Transport and Communications
$84.99
Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking
$109.99
Mathematics Mechanization
$109.99
