書誌事項

Symbolic rewriting techniques

Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors

(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

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ