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
Advances in Cryptology CRYPTO 2024
$109.00
Advances in Artificial Intelligence
$54.99
Sustainable Peacebuilding and Social Justice in Times of Transition
$129.99
Preismanagement in Kreditinstituten
$49.99
C# .NET mit Methode
$84.99
Vector Bundles on Curves - New Directions
$34.99
Knstliche Intelligenz fr Business Analytics
$39.99
Revolution der Unternehmenskultur
$59.99
Validitt klinisch-chemischer Befunde
$69.99
Standardization of Epidemiologic Studies of Host Susceptibility
$169.99
Adaptive Control of Nonsmooth Dynamic Systems
$169.99
Erfolgsbedingungen von Demokratie im subsaharischen Afrika
$59.99
Phenomenology and Intersubjectivity
$54.99
History of Nonlinear Oscillations Theory in France (1880-1940)
$199.99
Proceedings of the Thirteenth International Conference on Management Science and Engineering Managem
$219.99
Third Wave Feminism
$109.99
Urban Village Renovation
$84.99
High Dilution Effects: Physical and Biochemical Basis
$84.99
Nonlinear, Nonlocal and Fractional Turbulence
$119.00
Beginning Data Science with R
$84.99
Economic Sustainability and Environmental Protection in Mediterranean Countries through Clean Manufa
$169.99
Das Entstehen von Vacuolen in Wollen und deren Auswirkungen auf chemische und physikalische Eigensch
$54.99
Microbial Biofilms
$169.99
Volume 1: Modern Electrochemistry
$259.00
Soft Computing for Business Intelligence
$109.99
Computational and Corpus-Based Phraseology
$69.99
Die Osteomyelitis und Ihre Prognose
$59.99
Autologe Knorpelreparation mittels Kollagenmembran
$19.99
The Neglected Firm
$64.99
Organische Psychosen
$59.99
Asynchronous Programming with SwiftUI and Combine
$49.99
Delivery Bear
$4.46
Zeitmanagement fr Juristen
$37.99
Multi-Stage Simultaneous Lot-Sizing and Scheduling
$39.99
Rckkehr und Reintegration nach psychischer Erkrankung
$64.99
Hepatitis C Virus Treatment
$84.99
Engineering Artificially Intelligent Systems
$54.99
Plant-Animal Interactions
$129.99
10 Things You Can Do To Save Electricity
$4.46
Sicherheit und Kryptographie im Internet
$49.99
