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 Reasoning and Mathematics

Automated Reasoning and Mathematics

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

This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer. The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.

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

Entomopathogenic Nematodes and Their Symbiotic Bacteria

$159.99

Yearbook of Morphology 2003

$219.99

Shield Tunnel Cutter Replacement Technology

$159.99

Der Einmarsch deutscher Truppen in die entmilitarisierte Zone am Rhein im Mrz 1936

$79.99

Selbstorganisiertes Lernen im Unternehmen

$39.99

Die Entwicklung des Eisenbahnnetzes, des Betriebes, der finanziellen Ertrge und die Organisation de

$49.99

The Diversity Of Worldviews Among Young Adults

$49.99

MathCamp Purple Bunk Grades 5-6

$495.00

Ergebnisse der Inneren Medizin und Kinderheilkunde / Advances in Internal Medicine and Pediatrics

$44.99

Beitrag zur Kenntnis des Wirkungsgrades trockener Luftkompressoren

$59.99

New Perspectives on the Theory of Inequalities for Integral and Sum

$99.00

Submarine Cables Protection and Regulations

$159.99

Die Zwillingspathologie

$59.99

Headache and Chronic Pain Syndromes

$109.99

'Illegal' Traveller

$129.99

Pattern Recognition and Image Analysis

$109.99

European Union Budget Reform

$39.99

System Reengineering in Healthcare: Application for Hospital Emergency Departments

$99.00

Intramedullary Nailing

$109.00

Beginning Oracle WebCenter Portal 12c

$49.99

Proceedings of the 2022 International Symposium on Energy Management and Sustainability

$279.99

Computational Intelligence Methods for Bioinformatics and Biostatistics

$54.99

In-Memory-Computing

$119.99

Autoethnography and Feminist Theory at the Water's Edge

$79.99

Projektmanagement fr Kulturmanager

$29.99

Resolving the Cyprus Conflict

$39.99

Rubber Toughened Engineering Plastics

$299.00

Modelling and Prediction Honoring Seymour Geisser

$39.99

Internet of Things and Analytics for Agriculture, Volume 2

$84.99

Hlderlin-Handbuch

$39.99

Semantische Technologien

$39.95

Introduction to Chinese Embroidery

$129.99

Seminar ber Potentialtheorie

$19.99

The Impossibility of Squaring the Circle in the 17th Century

$49.99

Die Marktwirkung von Insiderhandel an Wertpapierbrsen

$69.99

Regional Innovation Evolution

$89.00

Geronimo Stilton The Kingdom of Fantasy: The Hour of Magic (#8) (Hardcover)

$13.49

Towards a Philosophy of Narco Violence in Mexico

$119.99

Pattern Recognition Theory and Applications

$259.00

Distanzierte Nhe: Caritas-Sozialarbeit, Kirchgemeinden und Gemeinwesen in Ostdeutschland

$44.99