検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
著者情報：International Workshop on Conditional (and Typed) Rewriting Systems
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings : gw , : us ( Lecture notes in computer science ; 516 )中央図書館S. Kaplan, M. Okada, (eds.)Springer-Verlag1991中央５階洋 007.1||L 49||516
選択行を
▲ページトップへ