語系: 繁體中文
說明(常見問題)
登入
語系
書封
跳至 : 概要 | 書目資訊 | 主題

Kahle, Reinhard.

概要
作品: 1 作品在 2 項出版品 1 種語言
書目資訊
The Legacy of Kurt Schütte by: SpringerLink (Online service); Kahle, Reinhard.; Rathjen, Michael. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Advances in Proof Theory by: Kahle, Reinhard.; Studer, Thomas.; Strahm, Thomas.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Grenzen der KI – theoretisch, praktisch, ethisch by: Mainzer, Klaus.; SpringerLink (Online service); Kahle, Reinhard. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]
Gentzen's centenary = the quest for consistency / by: Rathjen, Michael.; Kahle, Reinhard.; Gentzen, Gerhard.; SpringerLink (Online service) (書目-語言資料,印刷品)
Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: SpringerLink (Online service); Kahle, Reinhard.; Gradel, Erich.; Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)
Advances in proof theory by: SpringerLink (Online service); Strahm, Thomas.; Studer, Thomas.; Kahle, Reinhard. (書目-語言資料,印刷品)
Axiomatic Thinking I by: SpringerLink (Online service); Sommaruga, Giovanni.; Ferreira, Fernando.; Kahle, Reinhard. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Gentzen's Centenary = The Quest for Consistency / by: SpringerLink (Online service); Kahle, Reinhard.; Rathjen, Michael. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Axiomatic Thinking II by: Kahle, Reinhard.; Ferreira, Fernando.; Sommaruga, Giovanni.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入