語系
跳至 : 概要 | 書目資訊 | 主題

Schwichtenberg, Helmut, (1942-)

概要
作品: 43 作品在 1 項出版品 1 種語言
書目資訊
Proof technology and computation by: (1998 :); Schwichtenberg, Helmut, (1942-); Spies, Katharina. (書目-電子資源)
Proof and computation IIfrom proof theory and univalent mathematics to program extraction and verification / by: Mainzer, Klaus.; Schuster, Peter, (1966-); Schwichtenberg, Helmut, (1942-) (書目-電子資源)
 
 
變更密碼
登入