Aufsatzsammlung
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday ; [Festschrift]
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
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540250517
3540250514
- Dimensions
-
24 cm
- Extent
-
IX, 563 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 2605 : Lecture notes in artificial intelligence
- Classification
-
Mathematik
Informatik
- Keyword
-
Logischer Schluss
Automatisches Beweisverfahren
Softwareentwicklung
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2005
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:40 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Aufsatzsammlung
Associated
- Hutter, Dieter
- Siekmann, Jörg H.
- Springer
Time of origin
- 2005
Other Objects (12)
Robust statistics, data analysis, and computer intensive methods : in honor of Peter Huber's 60th birthday
Motivation, intention, and volition : [in honor of Professor Dr. Dr. h.c. Heinz Heckhausen's 60th birthday]
Geometry, mechanics, and dynamics : volume in honor of the 60th birthday of J. E. Marsden
Advances in phase space analysis of partial differential equations : in honor of Ferruccio Colombini's 60th birthday
Number theory and cryptography : papers in honor of Johannes Buchmann on the occasion of his 60th birthday
Harmonic analysis, signal processing, and complexity : Festschrift in honor of the 60th birthday of Carlos A. Berenstein
Advances in mathematical finance : [in honor of Dilip B. Madan on the occasion of his 60th birthday]
Tradition and interpretation in the New Testament : essays in honor of E. Earle Ellis for his 60th birthday
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
Energetics of geological processes : Hans Ramberg on his 60th birthday
Festschrift in celebration of Prof. Dr. Wilfried Grecksch's 60th birthday
Wave motion: theory, modelling, and computation : proceedings of a Conference in Honor of the 60th Birthday of Peter D. Lax
Robust statistics, data analysis, and computer intensive methods : in honor of Peter Huber's 60th birthday
Motivation, intention, and volition : [in honor of Professor Dr. Dr. h.c. Heinz Heckhausen's 60th birthday]
Geometry, mechanics, and dynamics : volume in honor of the 60th birthday of J. E. Marsden
Advances in phase space analysis of partial differential equations : in honor of Ferruccio Colombini's 60th birthday
Number theory and cryptography : papers in honor of Johannes Buchmann on the occasion of his 60th birthday
Harmonic analysis, signal processing, and complexity : Festschrift in honor of the 60th birthday of Carlos A. Berenstein
Advances in mathematical finance : [in honor of Dilip B. Madan on the occasion of his 60th birthday]
Tradition and interpretation in the New Testament : essays in honor of E. Earle Ellis for his 60th birthday
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
Energetics of geological processes : Hans Ramberg on his 60th birthday
Festschrift in celebration of Prof. Dr. Wilfried Grecksch's 60th birthday
Wave motion: theory, modelling, and computation : proceedings of a Conference in Honor of the 60th Birthday of Peter D. Lax
Robust statistics, data analysis, and computer intensive methods : in honor of Peter Huber's 60th birthday
Motivation, intention, and volition : [in honor of Professor Dr. Dr. h.c. Heinz Heckhausen's 60th birthday]
Geometry, mechanics, and dynamics : volume in honor of the 60th birthday of J. E. Marsden
Advances in phase space analysis of partial differential equations : in honor of Ferruccio Colombini's 60th birthday
Number theory and cryptography : papers in honor of Johannes Buchmann on the occasion of his 60th birthday
Harmonic analysis, signal processing, and complexity : Festschrift in honor of the 60th birthday of Carlos A. Berenstein
Advances in mathematical finance : [in honor of Dilip B. Madan on the occasion of his 60th birthday]
Tradition and interpretation in the New Testament : essays in honor of E. Earle Ellis for his 60th birthday
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
Energetics of geological processes : Hans Ramberg on his 60th birthday
Festschrift in celebration of Prof. Dr. Wilfried Grecksch's 60th birthday