Tools

LEADER 01133cam 2200325 a 4500

001 ocm37315354;

003 OCoLC;

005 20141212130403.0;

008 970626s1998 enka b 001 0 eng ;

010 a| 97028286;

020 a| 0521455200 (hc);

035 a| (Sirsi) o37315354;

035 a| (OCoLC)37315354;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA267b| .B314 1998;

082 00 a| 005.13/12| 21;

100 1 a| Baader, Franz.=| ^A398811;

245 10 a| Term rewriting and all that /c| Franz Baader and Tobias Nipkow.;

260 a| Cambridge ;a| New York :b| Cambridge University Press,c| 1998.;

300 a| xii, 301 pages :b| illustrations ;c| 26 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references (p. 284-296) and index.;

650 0 a| Rewriting systems (Computer science)=| ^A223380;

700 1 a| Nipkow, Tobias,d| 1958-=| ^A354447;

596 a| 1;

998 a| 639103;

999 a| QA267 .B314 1998w| LCc| 1i| 30372010053699d| 9/30/1999e| 8/25/1999l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 11/13/1998x| BOOKz| JSTACKSo| .STAFF. 0;

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

Author/creator	Baader, Franz
Other author	Nipkow, Tobias, 1958-
Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, 1998.
Description	xii, 301 pages : illustrations ; 26 cm
Subjects	Rewriting systems (Computer science)

Bibliography note	Includes bibliographical references (p. 284-296) and index.
LCCN	97028286
ISBN	0521455200 (hc)

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

Click here for more information about this title