Mechanizing Mathematical Reasoning: Essays In Honor Of Jörg H. Siekmann On The Occasion Of His 60th Birthday (Lecture Notes In Computer Science / Lecture Notes In Artificial Intelligence) Dieter Hutter

ISBN: 9783540250517

Published: February 23rd 2005

Paperback

570 pages


Description

Mechanizing Mathematical Reasoning: Essays In Honor Of Jörg H. Siekmann On The Occasion Of His 60th Birthday (Lecture Notes In Computer Science / Lecture Notes In Artificial Intelligence)  by  Dieter Hutter

Mechanizing Mathematical Reasoning: Essays In Honor Of Jörg H. Siekmann On The Occasion Of His 60th Birthday (Lecture Notes In Computer Science / Lecture Notes In Artificial Intelligence) by Dieter Hutter
February 23rd 2005 | Paperback | PDF, EPUB, FB2, DjVu, talking book, mp3, RTF | 570 pages | ISBN: 9783540250517 | 8.19 Mb

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 Jorg H. Siekmann.The 30 revised reviewed papers are written byMoreBy 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 Jorg H.

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



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Mechanizing Mathematical Reasoning: Essays In Honor Of Jörg H. Siekmann On The Occasion Of His 60th Birthday (Lecture Notes In Computer Science / Lecture Notes In Artificial Intelligence)":


margosklep.pl

©2010-2015 | DMCA | Contact us