言語: 日文
ヘルプ
ログイン
言語
跳ぶ : 概観 | タイトル | 主題

Schwichtenberg, Helmut, (1942-)

概観
著作: 3 作品に 1 出版物中に 1 言語
タイトル
Proof technology and computation[electronic resource] / …で: Clark Conference ((2005 :); Schwichtenberg, Helmut, (1942-); Spies, Katharina. (言語・文字資料 (印刷物))
Proof and computation II[electronic resource] :from proof theory and univalent mathematics to program extraction and verification / …で: Mainzer, Klaus.; Schuster, Peter, (1966-); Schwichtenberg, Helmut, (1942-) (コンピュータ・メディア)
 
 
パスワードを変更する
ログイン