Kahle, Reinhard.
Overview
| Works: | 1 works in 6 publications in 1 languages | |
|---|---|---|
Titles
Axiomatic thinking.. II
by:
Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service); Ferreira, Fernando.
(Electronic resources)
The legacy of Kurt Schutte
by:
Kahle, Reinhard.; Rathjen, Michael.; SpringerLink (Online service)
(Electronic resources)
Limits of AI -- theoretical, practical, ethical
by:
Kahle, Reinhard.; SpringerLink (Online service); Mainzer, Klaus.
(Electronic resources)
Advances in proof theory
by:
Kahle, Reinhard.; Strahm, Thomas.; Studer, Thomas.; SpringerLink (Online service)
(Electronic resources)
Proof theory in computer science = international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
by:
Kahle, Reinhard.; Schroeder-Heister, Peter.; Stark, Robert.; SpringerLink (Online service); PTCS 2001 ((2001 :)
(Language materials, printed)
Axiomatic thinking.. I
by:
Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service); Ferreira, Fernando.
(Electronic resources)
Gentzen's centenary = the quest for consistency /
by:
Kahle, Reinhard.; Rathjen, Michael.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logic.
Mathematicians- Germany
Automatic theorem proving
Mathematics.
History of Mathematical Sciences.
Artificial intelligence- Moral and ethical aspects.
Schutte, K.
Hilbert, David,
Computational Intelligence.
Mathematical and Computational Engineering Applications.
Proof theory.
Artificial Intelligence.
Proof theory
Axioms.
Philosophy of Mathematics.
Gentzen, Gerhard.
Artificial intelligence.