Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Mechanizing Mathematical Reasoning
Best Price (Coupon Required):
Buy Mechanizing Mathematical Reasoning for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jrg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jrg Siekmann; also included is an appraisal of the scientific career of Jrg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Reviews
Questions & Answers
Internistische Gastroenterologie
$59.99
Innovation und Controlling
$69.99
Ionospheric Radio Communications
$39.99
Stochastic and Infinite Dimensional Analysis
$109.99
Australian Public Opinion, Defence and Foreign Policy
$109.99
Negotiating Identities in Nordic Migrant Narratives
$169.99
Global Criminal Law
$69.99
Inclusive Young Adult Fiction
$69.99
Neurosurgical and Medical Management of Pain: Trigeminal Neuralgia, Chronic Pain, and Cancer Pain
$219.99
Unternehmen und Mythos
$59.99
Methicillin-Resistant Staphylococcus Aureus (MRSA) Protocols
$249.99
Nematode Vectors of Plant Viruses
$54.99
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
$39.99
Marketing fr Unternehmensberatung
$49.99
Fatal Remedies
$54.99
Models, Methods, and Tools for Complex Chip Design
$169.99
Cancer Incidence in Five Continents
$54.99
Die Bearbeitung von Fragen der Schweisstechnik an den Deutschen Materialprfungsmtern
$59.99
Computergesteuerte Spielpartner
$64.99
Manfredo P. do Carmo Selected Papers
$119.00
Nanofiltration Membrane for Water Purification
$159.99
Computer Methods for Circuit Analysis and Design
$279.99
Technical Drawing for Product Design
$99.99
Geostatistics for Engineers and Earth Scientists
$129.00
Leveled Math Reader: Count Your Chickens!
$3.71
Konvergenz von wertorientierten Kennzahlen und Informationen der IFRS-Finanzberichterstattung
$69.99
Fr und Wider den Expressionismus
$84.99
Transparency and Fragmentation
$109.99
Language and Automata Theory and Applications
$84.99
Freiwillige Arbeit in gemeinntzigen Vereinen
$74.99
Hierarchical and Geometrical Methods in Scientific Visualization
$169.00
Ecosystem Services in Patagonia
$169.99
Modelling and Monitoring of Coastal Marine Processes
$109.99
Normative Entgrenzung
$59.99
Grundlagen der Unternehmensberatung
$19.99
Economic and Financial Challenges for Eastern Europe
$169.99
Remaking Eastern Europe On the Political Economy of Transition
$39.99
Lead and Lead Alloys
$69.99
How Do Dinosaurs Stay Safe? (Hardcover)
$14.24
Bone SPECT/CT of Ankle and Foot
$64.99
