Kahle, Reinhard.
概要
| 作品: | 1 作品在 6 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Axiomatic thinking.. II
by:
Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
The legacy of Kurt Schutte
by:
Kahle, Reinhard.; Rathjen, Michael.; SpringerLink (Online service)
(書目-電子資源)
Limits of AI -- theoretical, practical, ethical
by:
Mainzer, Klaus.; Kahle, Reinhard.; SpringerLink (Online service)
(書目-電子資源)
Advances in proof theory
by:
Kahle, Reinhard.; Strahm, Thomas.; Studer, Thomas.; SpringerLink (Online service)
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
Axiomatic thinking.. I
by:
Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Gentzen's centenary = the quest for consistency /
by:
Kahle, Reinhard.; Rathjen, Michael.; SpringerLink (Online service)
(書目-電子資源)
主題
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.