Cover Image

Term rewriting and all that

Author: Baader, Franz
Nipkow, Tobias
Media Type: Printed Book
Language: English
Published: Cambridge [u.a.], Cambridge Univ. Press, 1998
Edition: 1. publ.
ISBN: 0-521-45520-0
Subjects:

Internet

Central Library (Building 32)

Status Item Information Call Number Barcode Note Functions
available 4 weeks lendable (LBS) L INF 48 100802377
available 4 weeks lendable (LBS) L INF 48 100802380 2. Ex.
available 4 weeks lendable (LBS) L INF 48 100802393 3. Ex.

Department Library of Computer Science (Building 36)

Status Item Information Call Number Barcode Note Functions
available 2 weeks lendable INF 355/033 106091973
available 2 weeks lendable INF 355/033 106068148 2. Ex.