Term rewriting and all that (Record no. 73439)

MARC details
000 -LEADER
fixed length control field 00455nam a2200145 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521455200
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 401.51
Item number BAA
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Baader, Franz
245 ## - TITLE STATEMENT
Title Term rewriting and all that
Statement of responsibility, etc. by Franz Baader and Tobias Nipkow
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge
Name of publisher, distributor, etc. Cambridge University Press
Date of publication, distribution, etc. c1998
300 ## - PHYSICAL DESCRIPTION
Extent xii,301p.: fig.; 22cm.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Rewriting systems(computer science)
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Term rewriting--(computer science)
710 ## - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Nipkow, Tobias
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
          North Eastern Hill University North Eastern Hill University 25/11/2011   401.51 BAA 211888 25/11/2011 Eng 25/11/2011 Books