ID:DA05737429
International Conditional and Typed Rewriting Systems Workshop
International CTRS Workshop
International Workshop on Conditional Term Rewriting Systems
International Workshop, CTRS
CTRS
同姓同名の著者を検索
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Springer-Verlag c1995 Lecture notes in computer science 968
: Berlin
所蔵館54館
M. Rusinowitch, J.L. Rémy (eds.)
Springer-Verlag c1993 Lecture notes in computer science 656
: gw , : us
所蔵館57館
S. Kaplan, M. Okada, (eds.)
Springer-Verlag c1991 Lecture notes in computer science 516
所蔵館53館