Term rewriting systems (Record no. 18674)

000 -LEADER
fixed length control field 00534nam a2200193 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160616s2003. 000 0
245 ## - TITLE STATEMENT
Title Term rewriting systems
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Barendsen, Erik [et al]
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher Cambridge University Press
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Terese
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Cambridge
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Year of publication 2003.
300 ## - PHYSICAL DESCRIPTION
Number of Pages xxii, 884 p.
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Cambridge tracts in theoretical computer science: 55
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0521391156
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Rewriting systems (Computer science)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type BOOKS
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 681.3 TER
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Full call number Accession Number Koha item type
        IMSc Library IMSc Library Second floor, Rack No: 49, Shelf No: 21 681.3 TER 50885 BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha