Theories of types and proofs

>> Google Books

QRコード(所蔵情報)

Theories of types and proofs

フォーマット:

図書

責任表示:

Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)

言語:

英語

出版情報:

Tokyo : Mathematical Society of Japan, 1998

形態:

vii, 295 p. ; 25 cm

著者名:

シリーズ名:

MSJ memoirs ; v. 2 <BA34550797>

書誌ID:

BA39308198

ISBN:

9784931469020 [4931469027]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	数学
分類・件名:	NDC8 : 410.8
注記:	"In September 1997, the two week MSJ regional workshop on "Theories of Types and Proofs" took place at Tokyo Institute of Technology in Tokyo" -- Pref Includes bibliographical references
TTLL:	eng
著者名ヨミ:	タカハシ, マサコ

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書コンピュータと数学高橋, 正子朝倉書店	7 図書証券化の法と経済学高橋, 正彦(1954-) NTT出版
2 図書計算論 : 計算可能性とラムダ計算高橋, 正子近代科学社	8 電子ブック Software Security — Theories and Systems ISSS 2002, Okada, Mitsuhiro, Japan. Springer Berlin Heidelberg
3 電子ブック Typed Lambda Calculi and Applications International Conference on Typed Lambda Calculi and Applications, Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon Springer Berlin Heidelberg	9 図書「6つの視点」でつくる算数の授業 : 子どもが自ら動き出す! : 授業実践60 = Let's make mathematical lessons with 6 viewpoints 高橋, 正英東洋館出版社
4 その他 A process for mitigating spiritual pain in patients with terminal cancer : the experiences of patients to help palliative care nurse 高橋, 正子, Takahashi, Masako 金沢大学	10 図書厚生労働科学研究研究費補助金難治性疾患克服研究事業本邦における筋チャネル病の実態に関する研究高橋, 正紀 [高橋正紀]
5 電子ブック International Symposium on Programming Dezani-Ciancaglini Springer Berlin Heidelberg	11 図書生活世界の再生産 : 経済本質論序説高橋, 正立ミネルヴァ書房
6 図書漱石文学が物語るもの : 神経衰弱者への畏敬と癒し高橋, 正雄(1954-) みすず書房	12 図書医療行為と法律 : 医事紛争防止の手引き高橋, 正春医歯薬出版