DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Please use this identifier to cite or link to this item:
https://lib.hpu.edu.vn/handle/123456789/32788| Title: | Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday |
| Authors: | Hutter, Dieter Stephan, Werner |
| Keywords: | Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Mathematical Logic and Foundations Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Mathematical Logic and Foundations Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Mathematical Logic and Foundations |
| Issue Date: | 2005 |
| Publisher: | Springer-Verlag Berlin Heidelberg |
| Abstract: | 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. |
| URI: | https://lib.hpu.edu.vn/handle/123456789/32788 |
| ISBN: | 3540250514 9783540250517 |
| Appears in Collections: | Technology |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Mechanizing-Mathematical-Reasoning-Essays-in-Honor-1375.pdf Restricted Access | 5.67 MB | Adobe PDF |  View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.