著者典拠情報

著者標目形：
Kaplan, Stéphane, 1961-
属性：
Personal
日付：
1961-
から見よ参照形：
Kaplan, S., 1961-
注記：
Conditional term rewriting systems, 1st ... c1988: CIP t.p. (S. Kaplan) t.p. verso (Stéphane Kaplan; Lab. de recherche en informatique, Univ. Paris, Centre d'Orsay) data sheet (b. 1961)
著者典拠ID：
DA02414285


1.

図書
図書
1. 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
所蔵情報: 図書館
2.

図書
図書
2. Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings (: gw ; : us)
S. Kaplan, J.-P. Jouannaud (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 308
所蔵情報: 図書館