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

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

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

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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Comparative Political Leadership

$109.99

Grace I Love You All Ways by Marianne Richmond

$8.99

Frindle

$5.96

Flow and Combustion in Reciprocating Engines

$109.99

Political Hegemony and Social Complexity

$84.99

Proceedings of the 10th International Conference on Maintenance and Rehabilitation of Pavements

$379.99

Curriculum Landscapes and Trends

$109.99

The Leading Worlds Most Innovative Universities

$59.99

Persnlichkeitspsychologie: Paradigmen Strmungen Theorien

$49.99

Feedback at Work

$109.99

Insektenflug

$99.99

Christianity and Politics

$44.99

Philosophical Foundations of Education

$54.99

Eigennamen referieren - Referieren mit Eigennamen

$44.99

Hegel and the History of Political Philosophy

$109.99

Advances in Meat Research

$39.99

Bio-Inspired Information Pathways

$59.99

Agency Theory and Sustainability in the Global Supply Chain

$59.99

Winning Design!

$19.99

Mental Health for Hispanic Communities

$169.99

Scholar Zone Extended Learning Plus ELA Grade 2 (2 Scholar)

$90.00

Unternehmungswachstum

$59.99

Pharmacotherapy of Gastrointestinal Inflammation

$109.99

Advanced Brush Tyre Modelling

$59.99

Das Linux-Tutorial Ihr Weg zum LPI-Zertifikat

$54.99

Geschftsprozemanagement auf der Basis ereignisgesteuerter Prozeketten

$44.99

Environmental Engineering Studies

$129.00

Nonlinear Waves and Solitons on Contours and Closed Surfaces

$129.00

The Troika of Adult Learners, Lifelong Learning, and Mathematics

$19.99

Regional Trends (40th edition)

$54.99

Entstehung von Kernkompetenzen

$59.99

Image and Text Compression

$129.00

Economy and Society in Baroque Portugal, 16681703

$39.99

Numerical Analysis and Parallel Processing

$34.99

Pascal mit der Turtle

$69.99

She's the Liar (Hardcover)

$13.49

Praxishandbuch Presse- und ffentlichkeitsarbeit

$44.99

Sub-Versionen

$59.99

Central European Functional Programming School

$54.99

Food Antioxidants

$39.99