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 in Equational Logic and Cubic Curves
Best Price (Coupon Required):
Buy Automated Deduction in Equational Logic and Cubic Curves for $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort. Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.
Reviews
Questions & Answers
Citizen in Sensor Networks
$39.99
Sekunden entscheiden Lebensrettende Sofortmanahmen
$59.99
Knowledge-Based Systems in Biomedicine and Computational Life Science
$109.99
Handbook of Faith and Spirituality in the Workplace
$249.99
Solid Edge 2020 fr Fortgeschrittene kurz und bndig
$19.99
Paleozoic Salt Bearing Formations of the World
$109.99
Creativity and Innovation in the Music Industry
$129.00
Modeling in Analog Design
$84.99
Sulfur Springs (Cork O'Connor Series #16) by William Kent Krueger
$17.99
Food Ethics
$84.99
Hedonism, Utilitarianism, and Consumer Behavior
$54.99
Morphine and Metastasis
$84.99
Biodiversity Conservation Using Umbrella Species
$199.99
Pearls and Pitfalls in Cosmetic Oculoplastic Surgery
$129.00
Regulatory Issues in Organic Food Safety in the Asia Pacific
$129.00
An Edith Wharton Chronology
$109.99
Sicheres Netzwerkmanagement
$49.99
Nano- and Microfabrication Techniques in Drug Delivery
$249.99
Ultraschallfibel
$69.99
Barnacle is Bored (Hardcover)
$12.74
3-D Computer Vision
$89.99
Steuerliche Herstellungskosten
$59.99
Scholar Zone Extended Learning ELA Grade 5 (2 Scholar)
$75.00
Fourier Transforms
$99.00
Mi Comunidad / My Community
$4.46
Angewandte Virtuelle Techniken im Produktentstehungsprozess
$109.00
Integrated Circuit Packaging, Assembly and Interconnections
$84.99
Transactions on Computational Collective Intelligence XXI
$54.99
On Geopolitics: Classical and Nuclear
$219.99
Statistische Methoden fr Naturwissenschafter, Mediziner und Ingenieure
$59.99
Emerging Electronic Devices, Circuits and Systems
$279.99
Felsmechanische Grundlagenforschung Standsicherheit von Bschungen und Hohlraumbauten in Fels / Basi
$44.99
Sex Differences in Brain Function and Dysfunction
$199.99
International Prosecution of Human Rights Crimes
$179.99
Engineering Psychology and Cognitive Ergonomics
$74.99
Transformation of Social Security
$109.99
Acronyms and Abbreviations in Molecular Spectroscopy
$39.99
Informelle Governance in transnationalen Unternehmen
$49.99
Apokalyptische Reiter sind in der Luft
$59.99
Porous Semiconductors
$109.99
