本文に飛ぶ

年 〜
年

検索結果 5 件

Theories of types and proofs (MSJ memoirs ; volume 2)

Theories of types and proofs (MSJ memoirs ; volume 2)
紙図書
Masako Takahashi, Mitsuhiro Okada, Mariangiola Dezani-Ciancaglini (eds.)The Mathematical Society of Japan1998<M19-B283>
国立国会図書館

Theories of types and proofs

Theories of types and proofs
紙図書
Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)Mathematical Society of Japan1998
全国の図書館
  • 一般注記...l workshop on "Theories of Types and Proofs" took place at Tokyo Institut...

Theories of Types and Proofs

Theories of Types and Proofs
紙図書
日本数学会, MSJ-Memoirs1998日本数学会, MSJ-Memoirs2
全国の図書館

A primer on proofs and types

A primer on proofs and types
紙図書
寳来, 正子, HORAI, MasakoTheories of Types and Proofs1998Theories of Types and Proofsp.1-44
全国の図書館

MSJ memoirs

MSJ memoirs
紙図書
Mathematical Society of Japan1998-
全国の図書館
  • 関連情報...etric geometry Theories of types and proofs Bohr-Jessen Limit theorem, re...

検索結果は以上です。

RSS