>> Google Books

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]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 コンピュータと数学

高橋, 正子

朝倉書店
7 図書 ハイテク・スパイ : ドキュメント ソ連の先端情報窃取作戦

Melvern, Linda, 高橋, 正

徳間書店
2 図書 計算論 : 計算可能性とラムダ計算

高橋, 正子

近代科学社
8 図書 放電管の工業應用

高橋, 正一

共立社
3 図書 Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April …

International Conference on Typed Lambda Calculi Applications, Dezani-Ciancaglini, Mariangiola, Plotkin, G. (Gordon), &hellip;

Springer-Verlag
9 図書 中国のなかのソ連 : 中ソは和解するか

高橋, 正(1933-)

サイマル出版会
4 図書 Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings

International Workshop on Conditional (and Typed) Rewriting Systems, Kaplan, Stéphane, 1961-, Okada, M. (Mitsuhiro), &hellip;

Springer-Verlag
10 図書 地域包括ケアシステム

高橋, 紘士(1944-), 秋山, 正子

オーム社
5 図書 オートマトンの理論

高橋, 正子, 小林, 孝次郎(1939-)

共立出版
11 図書 Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings

International Colloquium on Automata, Languages and Programming, Ausiello, Giorgio, 1941-, Dezani-Ciancaglini, &hellip;

Springer-Verlag
6 図書 International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings

International symposium on programming, Dezani-Ciancaglini, Mariangiola, Montanari, U. (Ugo)

Springer-Verlag
12 図書 工業電解の化学

高橋, 正雄(1924-), 増子, 昇(1935-)

アグネ