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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Improvisieren
$79.99
Supply Management Research
$79.99
Post-Keynesian Essays from Down Under Volume IV: Essays on Theory
$109.99
Dynamic Modeling, Predictive Control and Performance Monitoring
$84.99
Indexed Categories and Their Applications
$54.99
Long Noncoding RNAs
$109.99
Die Musik der Neuen Sachlichkeit
$44.99
Science for the Nation
$39.99
Clienting fr Banker
$54.99
Einflussfaktoren des Internationalisierungserfolgs von Mobilfunknetzbetreibern
$74.99
Paving the Way for Better Governance in Urban Transport
$39.99
Non-Surgical Control of Periodontal Diseases
$159.99
Petroleum Sedimentology
$169.99
Modeling Demographic Processes in Marked Populations
$219.99
Impacts of Forest Harvesting on Long-Term Site Productivity
$329.99
Nanotribology and Nanomechanics I
$54.99
Education in the Age of Biocapitalism
$54.99
Radar Absorbing Materials
$179.99
The European Union and the Kurdish Issue
$89.00
Neural Information Processing
$54.99
Collaborative Praxis and Contemporary Art Experiments in the MENASA Region
$39.99
Sand and Sandstone
$219.99
Nonlinear Dynamics and Chaotic Phenomena: An Introduction
$169.99
Modelling, Robustness and Sensitivity Reduction in Control Systems
$39.99
Beyond Civil Disobedience
$99.99
Scientific&Statistical Databases
$69.95
Neuroethics in Higher Education Policy
$109.99
Patientenorientierte Gesprchsfhrung im Pflegeprozess
$49.99
Ideas of Europe since 1914
$84.99
Technological Innovation for Digitalization and Virtualization
$99.99
Human Capital Investment and the Regional Economic Gap in China
$129.99
Characteristics of Chinese Petroleum Geology
$169.00
Encyclopedia of Evidence in Pharmaceutical Public Health and Health Services Research in Pharmacy
$999.99
Multinational Companies in Low-Income Markets
$39.99
Neutron and X-ray Spectroscopy
$169.99
Intracranial Pressure VIII
$84.99
Industrial Waste Engineering
$199.99
Recent Advances in Mechanical Engineering
$219.99
Mittelalterliche Fachliteratur
$29.99
The Female Servant and Sensation Fiction
$54.99
