Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Author:   Dieter Hutter ,  Werner Stephan
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   2005 ed.
Volume:   2605
ISBN:  

9783540250517


Pages:   570
Publication Date:   23 February 2005
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $263.87 Quantity:  
Add to Cart

Share |

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday


Add your own review!

Overview

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 Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg 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.

Full Product Details

Author:   Dieter Hutter ,  Werner Stephan
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2005 ed.
Volume:   2605
Dimensions:   Width: 15.50cm , Height: 2.90cm , Length: 23.30cm
Weight:   1.770kg
ISBN:  

9783540250517


ISBN 10:   3540250514
Pages:   570
Publication Date:   23 February 2005
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now