著者典拠情報

著者標目形：
Okada, M. (Mitsuhiro), 1954-
属性：
Personal
日付：
1954
から見よ参照形：
岡田, 光弘||オカダ, ミツヒロ
Okada, Mitsuhiro, 1954-
注記：
Conditional and typed rewriting systems, c1991: CIP t.p. (M. Okada) t.p. verso (Mitsuhiro Okada; Dept. of Comp. Sci., Concordia Univ., Montreal, Can.)
NLC 3-20-91
著者典拠ID：
DA05669792


1.

図書
図書
1. Software security : theories and systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers
Mitsuhiro Okada ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2609
所蔵情報: 図書館
2.

図書
図書
2. Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings (: Berlin ; : New York)
S. Kaplan, M. Okada, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 516
所蔵情報: 図書館