Symbolic Rewriting Techniques Workshop

検索結果1件中 1-1 を表示

  • Symbolic rewriting techniques

    Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors

    Birkhäuser Verlag c1998 Progress in computer science and applied logic v. 15

    : Basel : alk. paper , Boston : pbk. : alk. paper

    所蔵館18館

ページトップへ