Symbolic rewriting techniques

著者

• Bronstein, Manuel
• Grabmeier, Johannes
• Weispfenning, Volker
• Symbolic Rewriting Techniques Workshop

書誌事項

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

• NII書誌ID(NCID): BA35204361
• ISBN:
  • 3764359013
  • 0817659013
• LCCN: 98011497
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Basel ; Boston
• ページ数/冊数: 288 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA267
  • DC21 : 005.13/1
• 件名:
  • LCSH : Rewriting systems (Computer science) -- Congresses
  • LCSH : Gröbner bases -- Congresses
  • LCSH : Numerical analysis -- Data processing -- Congresses
• 親書誌ID:
  • BA07712819