| Record ID | marc_records_scriblio_net/part26.dat:135553347:887 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part26.dat:135553347:887?format=raw |
LEADER: 00887cam 2200241 a 4500
001 97028286
003 DLC
005 20020831181746.0
008 970626s1998 enka b 001 0 eng
010 $a 97028286
020 $a0521455200 (hc)
040 $aDLC$cDLC$dDLC
050 00 $aQA267$b.B314 1998
082 00 $a005.13/1$221
100 1 $aBaader, Franz.
245 10 $aTerm rewriting and all that /$cFranz Baader and Tobias Nipkow.
260 $aCambridge ;$aNew York :$bCambridge University Press,$c1998.
300 $axii, 301 p. :$bill. ;$c26 cm.
504 $aIncludes bibliographical references (p. 284-296) and index.
650 0 $aRewriting systems (Computer science)
700 1 $aNipkow, Tobias,$d1958-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/description/cam028/97028286.html
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/cam027/97028286.html