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
Sharing our Lives Online
$54.99
Immunologic Defects in Laboratory Animals 1
$109.99
Presidential Rhetoric on Terrorism under Bush, Obama and Trump
$64.99
Fluid and Thermodynamics
$169.99
Financial Stability Policy in the Euro Zone
$109.99
Front Line Extremity and Orthopaedic Surgery
$84.99
Changing Workplace Relations in the Chinese Economy
$84.99
Performance Measurement in der Forschung und Entwicklung
$69.99
Scholar Zone Extended Learning Math Grade 2 (2 Scholar)
$75.00
Neurovascular Neuropsychology
$49.99
Popular High Culture in Italian Media, 19501970
$99.99
Darwinian Biolinguistics
$109.99
"In-House Banken" als Finanzintermedire
$44.99
Das vergessene Subjekt
$44.99
Benutzerfreundliche Kommunikation / User-Friendly Communication
$59.99
Die neue KSZE
$39.99
Amsterdam's Sephardic Merchants and the Atlantic Sugar Trade in the Seventeenth Century
$89.00
Community Research for Community Development
$39.99
Homogenization and Structural Topology Optimization
$119.00
Scholastic In My Language Stickers Talk And Count Numbers Russian
$44.25
Suriname Revisited: Economic Potential of its Mineral Resources
$54.99
Sozialdemokratische Reformdiskurse
$49.99
Leitfaden kommunale Rechnungsprfung in Niedersachsen
$64.99
Science a Road to Wisdom
$39.99
Rechenzentrums-Sicherheit
$49.99
Blut Und Blutkrankheiten
$59.99
Design Techniques for Mash Continuous-Time Delta-Sigma Modulators
$109.99
Surface Mount Technology with Fine Pitch Components
$219.99
Mystery Grades 6-8
$57.00
Zur Kenntnis der Narbenstrikturen und Narbenverschlsse nach Intubation
$59.99
Insularity and Geographic Diversity of the Peripheral Japanese Islands
$129.00
Codification in International Perspective
$169.99
Proteinuria: Basic Mechanisms, Pathophysiology and Clinical Relevance
$109.99
Lysosomes
$219.99
Verification, Induction, Termination Analysis
$39.99
Notfallversorgung in der Gynkologie und Geburtshilfe
$69.99
Spatial Modeling Principles in Earth Sciences
$129.00
Essays in Social Security Economics
$109.99
Scholastic Discover More Reader Level 1: Petting Zoo
$2.99
Product-Focused Software Process Improvement
$54.99
