すべての資料

図書

雑誌

詳細検索

タイトル

タイトル完全一致統一タイトルを含む

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

図書館ID・機関ID・地域を記憶する

閉じる

Bezem, M. (Marc)

ID:DA07209352

同姓同名の著者を検索

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

1

Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Dirk van Dalen, Marc Bezem (eds.)

Springer c1997 Lecture notes in computer science 1258

所蔵館53館
2

Typed lambda calculi and applications : International Conference on Typed Lamda [i.e. Lambda] Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings

M. Bezem, J.F. Groote, (eds.)

Springer-Verlag c1993 Lecture notes in computer science 664

: gw , : us

所蔵館66館

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

関連著者

ページトップへ