My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Record 3 of 3
Result Page: Previous Next
Can't find that book? Try BONUS+
 
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
PRINTED BOOKS
Author Baader, Franz von, 1765-1841.

Title Term rewriting and all that / Franz Baader and Tobias Nipkow.

Published Cambridge ; New York : Cambridge University Press, 1998.

Copies

Location Call No. Status
 UniM ERC  005.131 TERM    AVAILABLE
Physical description xii, 301 pages : illustrations ; 26 cm
Bibliography Includes bibliographical references (pages 284-296) and index.
Other author Nipkow, Tobias, 1958-
Subject Rewriting systems (Computer science)
ISBN 0521455200 (hc)