Tools

LEADER 01491cam 2200373 a 4500

001 ocm27106056;

003 OCoLC;

005 20141212100106.0;

008 921123s1993 gw a b 100 0 eng ;

010 a| 92044413;

020 a| 3540563938 (Berlin : alk. paper);

020 a| 0387563938 (New York : alk. paper);

035 a| (Sirsi) o27106056;

035 a| (OCoLC)27106056;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA267b| .I578 1992;

082 00 a| 005.13/12| 20;

111 2 a| International Workshop CTRSd| (3rd :c| 1992 : Pont-à-Mousson, France)?| UNAUTHORIZED;

245 10 a| Conditional term rewriting systems /c| Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.).;

260 a| Berlin ;a| New York :b| Springer-Verlag,c| 1993.;

300 a| xi, 501 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| 656;

504 a| Includes bibliographical references.;

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

700 1 a| Rusinowitch, M.q| (Michael)=| ^A315483;

700 1 a| Remy, J. L.=| ^A675610;

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

596 a| 1;

998 a| 469164;

999 a| QA267 .I578 1992w| LCc| 1i| 30372007166298d| 8/20/1993l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 8/20/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.).

Author/creator	International Workshop CTRS
Other author	Rusinowitch, M. (Michael)
Other author	Remy, J. L.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, 1993.
Description	xi, 501 pages : illustrations ; 24 cm.
Subjects	Rewriting systems (Computer science)--Congresses.

Series	Lecture notes in computer science ; 656 Lecture notes in computer science 656. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	92044413
ISBN	3540563938 (Berlin : alk. paper)
ISBN	0387563938 (New York : alk. paper)

Availability

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

Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.).

Click here for more information about this title

Availability