Amazon cover image
Image from Amazon.com
Image from Google Jackets

Term rewriting and all that by Franz Baader and Tobias Nipkow

By: Contributor(s): Material type: TextTextPublication details: Cambridge Cambridge University Press c1998Description: xii,301p.: fig.; 22cmISBN:
  • 0521455200
Subject(s): DDC classification:
  • 401.51 BAA
Item type:
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Collection Call number Copy number Status Date due Barcode Item holds
Books Books North Eastern Hill University ENG 401.51 BAA (Browse shelf(Opens below)) Eng Available 211888
Total holds: 0

There are no comments on this title.

to post a comment.