Research Catalog

Symbolic rewriting techniques

Title
Symbolic rewriting techniques / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors.
Publication
Basel ; Boston : Birkhäuser Verlag, [1998], ©1998.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextRequest in advance QA267 .S88 1998Off-site

Holdings

Details

Additional Authors
  • Bronstein, Manuel.
  • Grabmeier, Johannes.
  • Weispfenning, Volker, 1944-
Description
288 pages : illustrations; 24 cm.
Series Statement
Progress in computer science and applied logic ; v. 15
Uniform Title
Progress in computer science and applied logic ; v. 15.
Subject
  • Rewriting systems (Computer science) > Congresses
  • Gröbner bases > Congresses
  • Numerical analysis > Data processing > Congresses
Bibliography (note)
  • Includes bibliographical references.
ISBN
  • 3764359013 (Basel : alk. paper)
  • 0817659013 (Boston : pbk. : alk. paper)
LCCN
98011497
OCLC
  • 38410915
  • ocm38410915
Owning Institutions
Columbia University Libraries