語系
Kahle, Reinhard.
概要
作品: | 1 作品在 5 項出版品 1 種語言 |
---|
書目資訊
Axiomatic thinking.. II
by:
Ferreira, Fernando.; Kahle, Reinhard.; SpringerLink (Online service); Sommaruga, Giovanni.
(書目-電子資源)
The legacy of Kurt Schutte
by:
Kahle, Reinhard.; Rathjen, Michael.; 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.; SpringerLink (Online service); Sommaruga, Giovanni.
(書目-電子資源)
Gentzen's centenary = the quest for consistency /
by:
Kahle, Reinhard.; Rathjen, Michael.; SpringerLink (Online service)
(書目-電子資源)