シムラ, タツヤ
志村, 立矢
著者名典拠詳細を非表示
著者の属性 | 個人 |
---|---|
出生地等 | 静岡県 |
一般注記 | SRC:Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics = S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系 / Tatsuya Shimura(東京大学数理科学研究科, 1991) 日本大学理工学部数学科助教授(2001年7月現在) EDSRC:コンピュータのための数学 : 論理的アプローチ / D. グリース, F. B. シュナイダー著 ; 飯島正 [ほか] 訳(日本評論社, 2001.7)よりPLACE,DATEを追加 |
生没年等 | 1959 |
別名 | Shimura, Tatsuya |
コード類 | 典拠ID=AU10006897 NCID=DA12980165 |
1 | コンピュータのための数学 : 論理的アプローチ / D. グリース, F. B. シュナイダー著 ; 飯島正 [ほか] 訳 東京 : 日本評論社 , 2001.7 |