Tools

LEADER 01541cam 22003858a 4500

001 ocm19458401;

005 20141212064354.0;

008 890310s1989 wb a b 101 0 eng ;

010 a| 89006130;

020 a| 0387510818z| 0387810818 (U.S.);

035 a| (Sirsi) o19458401;

035 a| (OCoLC)19458401;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA267b| .I555 1989;

082 0 a| 511.32| 20;

111 2 a| International Conference on Rewriting Techniques and Applicationsn| (3rd :d| 1989 :c| Chapel Hill, N. C.)?| UNAUTHORIZED;

245 10 a| Rewriting techniques and applications :b| 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5 1989 : proceedings /c| N. Dershowitz, ed.;

263 a| 8903;

300 a| vii, 578 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 355;

504 a| Includes bibliographies and indexes.;

650 0 a| Rewriting systems (Computer science)v| Congresses.=| ^A1156961;

650 0 a| Computer programmingv| Congresses.=| ^A34403;

650 0 a| Algorithmsv| Congresses.=| ^A26574;

700 1 a| Dershowitz, Nachum.=| ^A180809;

830 0 a| Lecture notes in computer sciencev| 355.=| ^A466336;

919 a| BOOK;

596 a| 1;

998 a| 345342;

999 a| QA267.I555 1989w| LCc| 1i| 30372005312894l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 4/27/1990x| BOOKz| JSTACKSo| .STAFF. 0;

Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5 1989 : proceedings / N. Dershowitz, ed.

Author/creator	International Conference on Rewriting Techniques and Applications
Other author	Dershowitz, Nachum.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1989.
Description	vii, 578 pages : illustrations ; 24 cm.
Subjects	Rewriting systems (Computer science)--Congresses. Computer programming--Congresses. Algorithms--Congresses.

Series	Lecture notes in computer science ; 355 Lecture notes in computer science 355. ^A466336
Bibliography note	Includes bibliographies and indexes.
LCCN	89006130
ISBN	0387510818

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA267.I555 1989	✔ Available	Place Hold

Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5 1989 : proceedings / N. Dershowitz, ed.

Click here for more information about this title

Availability