著者典拠情報

標目形：
Dershowitz, Nachum, 1951-
属性：
Personal
日付：
1951-
から見よ参照形：
Dershowitz, N
注記：
His Enumerations of ordered trees, 1979: t.p. (Nachum Dershowitz)
His The evolution of programs, 1983: CIP t.p. (Nachum Dershowitz) data sht. (b. 12/30/51)
著者典拠ID：
DA01722703


 close
1.

図書
図書
1. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings (: Berlin)
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 968
所蔵情報: loading…
2.

図書
図書
2. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings (: gw ; : us)
N. Dershowitz (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 355
所蔵情報: loading…