Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Automated Deduction in Equational Logic and Cubic Curves

Automated Deduction in Equational Logic and Cubic Curves

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540685227
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Turnpike Phenomenon and Symmetric Optimization Problems

$129.99

Mill-Handbuch

$99.99

Desk Reference for Neuroscience

$109.99

Read-Alouds with Heart: Grades K-2

$16.49

Earthquake Hazard and Risk

$169.99

Setting Sail into the Age of Digital Local Government

$54.99

Microbial Decontamination of Food

$169.99

Anorectal Physiology

$99.00

Die Kulturentwicklung des Menschen nach Jean-Jacques Rousseau in ihrem Bezug auf die gesellschaftlic

$39.99

Improving Project Performance

$39.99

Kommentar zur Wrmeschutzverordnung 1995

$69.95

Die Wollspinnerei

$84.99

Advances on Broadband and Wireless Computing, Communication and Applications

$169.00

Collapsing Gracefully: Making a Built Environment that is Fit for the Future

$39.99

Methods of Microarray Data Analysis V

$84.99

Kardiovaskulre Forschung 2000

$39.99

The Story of Easter by Patricia A. Pingry

$7.99

Wettbewerb und Kooperation

$79.99

Karl Korsch

$19.99

Patient-Centered Clinical Care for African Americans

$44.99

The Palgrave Handbook of Musical Theatre Producers

$219.00

Heat Transfer in Condensation and Boiling

$109.99

Perspectives on Human-Computer Interaction Research with Older People

$109.00

Canadian Policy Debates and Case Studies in Honour of David Laidler

$84.99

Shoulder Instability

$169.99

EU und VR China nach dem Ost-West-Konflikt

$69.99

Democratic Transition and Consolidation in Southern Europe, Latin America and Southeast Asia

$109.99

Verwaltungsreform im politischen System

$59.99

Freckle Juice

$5.99

Tokyo as a Global City

$139.00

"Hat man mich verstanden?"

$29.99

Numerical Methods for Elliptic and Parabolic Partial Differential Equations

$99.99

Intelligent Transport Systems, From Research and Development to the Market Uptake

$60.00

Protest Movements as Media Vehicles of the Brazilian New Right

$109.99

Terminologie : Epochen Schwerpunkte Umsetzungen

$37.99

Verkaufen!

$29.99

African Horse Sickness

$219.99

Rocas Alijos

$329.99

Service Quality and Management

$54.99

Sexualities and Genders in Education

$54.99