Symbolic rewriting techniques
著者
書誌事項
Symbolic rewriting techniques
(Progress in computer science and applied logic, v. 15)
Birkhäuser Verlag, c1998
- : Basel : alk. paper
- Boston : pbk. : alk. paper
大学図書館所蔵 件 / 全18件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
"This volume contains ... the Symbolic Rewriting Techniques workshop, which was held in the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995" -- Pref
