Term rewriting and all that

By: Nipkow, Tobias, 1958-Contributor(s): Baader, FranzPublication details: Cambridge : Cambridge University Press 1998Description: xii, 301 p. : ill. ; 26 cmISBN: 0521455200Subject(s): REWRITING SYSTEMS (COMPUTER SCIENCE)LOC classification: QA 267 BaaOnline resources: Click here for electornic version
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Materials specified Status Date due Barcode
MONOGRAPH MONOGRAPH CBU-MAIN LIBRARY, KITWE.
QA 267 Baa (Browse shelf(Opens below)) Available 029328

Includes bibliographical references

There are no comments on this title.

to post a comment.