000 | 00628 a2200253 4500 | ||
---|---|---|---|
001 | 43835 | ||
020 | _a3-540-19242-50 | ||
041 | _aeng | ||
080 | _a681.3.06 Con:1:87 | ||
245 | _aConditional term rewriting systems : 1st international workshop proceedings, Orsay, France, July 8-10, 1987 / edited by S. Kaplan and J.-P. Jouannaud | ||
250 | _a | ||
260 | _aBerlin | ||
260 | _bSpringer-Verlag, | ||
260 | _c1988 | ||
300 | _avi,278 p. | ||
300 | _c24 cm | ||
490 | _a | ||
100 | _a | ||
700 | _a | ||
650 | _a | ||
650 | _aRewriting systems (Computer Science)-Congresses | ||
942 | _cBK | ||
942 | _2UDC | ||
999 |
_c43138 _d43138 |