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
Ancient Engineers' Inventions
$179.99
Modelling and Simulation in Fluid Dynamics in Porous Media
$109.99
Digital Transformation and Industry 4.0 for Sustainable Supply Chain Performance
$69.99
Tabubruch als Programm
$59.99
Artificial Intelligence and Speech Technology
$99.99
Die moderne Parfumerie
$44.99
Volker Tschuschke Kurzgruppenpsychotherapie Theorie und Praxis
$89.99
Wissensabhngige Strategiewahl in der Venture-Capital-Industrie
$69.99
Die Untersuchung des Einstrmungsvorganges beim Spritzgu und die sich hieraus ergebenden Richtlinie
$59.99
YangBaxter Deformation of 2D Non-Linear Sigma Models
$64.99
The Preference-Driven Lead User Method for New Product Development
$39.99
Theoretical Aspects of Computing ICTAC 2018
$89.99
Buprenorphine Therapy of Opiate Addiction
$89.00
High-Mountain Atmospheric Research
$54.99
Data-Centric Business and Applications
$84.99
New Sporting Femininities
$169.99
Sentinel Node Biopsy in Breast Cancer
$109.99
Financial Integration in Europe
$39.99
Urbanization and Its Impact in Contemporary China
$64.99
Ritual and the Moral Life
$84.99
-Rezeptorenblockade
$69.99
Malaria
$17.99
Mindfulness-Based Cognitive Therapy
$139.99
Evidence-Informed Assessment and Practice in Child Welfare
$54.99
Israels Asymmetric Wars
$54.99
Characterization of Minerals, Metals, and Materials 2020
$329.99
Elemente der integrierten Optik
$69.99
The Dynamics of China's Rejuvenation
$54.99
Cool Stars, Stellar Systems, and the Sun
$84.99
Clinical Application of Neuropsychological Test Batteries
$39.99
Consulting im Gesundheitswesen
$69.99
Das soziale Bewutsein von Konsumenten
$69.99
Hans Blumenberg: Pdagogische Lektren
$44.99
The Economics of Rights, Co-operation and Welfare
$109.99
Anton Marty and Contemporary Philosophy
$99.99
Grundkurs Theoretische Physik 6
$39.99
The Building of Civil Europe 19511972
$99.99
Deep Learning in Natural Language Processing
$139.00
Genetic Algorithms: Principles and Perspectives
$129.00
Mobile and Ubiquitous Systems: Computing, Networking and Services
$159.99
