志村, 立矢シムラ, タツヤ

ID:DA12980165

別名: Shimura, Tatsuya

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

コンピュータのための数学 : 論理的アプローチ

D. グリース, F. B. シュナイダー著 ; 飯島正 [ほか] 訳

日本評論社 2001.7

所蔵館144館
2

Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics = S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系

Tatsuya Shimura

東京大学数理科学研究科 1991

所蔵館1館

この著者を外部サイトでさがす

関連著者

ページトップへ