書誌事項

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

この図書・雑誌をさがす
注記

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を表示
詳細情報
ページトップへ