Copied Automated Deduction in Equational Logic and Cubic Curves
Automated Deduction in Equational Logic and Cubic Curves
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.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
