000 01103cam a2200277 a 4500
005 20260818084751.0
008 110414s1993 gw r 100|0 eng d
020 _a3540563938
035 _a.b10164121
050 4 _aQA267
_bI578 1992
111 2 _aInternational Workshop CTRS
_n(3rd :
_d1992 :
_cPont-a-Mousson, France)
245 1 0 _aConditional term rewriting systems :
_bThird International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 : proceedings /
_cM. Rusinowitch and J. L. Remy (eds.)
260 _aBerlin :
_bSpringer-Verlag,
_c1993
300 _a501 p.
440 0 _aLecture notes in computer science ;
_vno. 656
650 0 _aRewriting systems (Computer science)
_vCongresses
700 1 _aRemy, J. L.
700 1 _aRusinowitch, Michael
907 _a.b10164121
_bmngc
_cu
902 _a150521
998 _b1
_c960418
_dm
_ea
_fu
_g0
945 _lmngc
942 _c14
909 _aBarcode : 30050003197083
_bCREATED : 1995-10-13
_cRECORD # : i10194496
_dLPATRON : 0
_eLCHKIN : -
_f# RENEWALS : 0
_g# OVERDUE : 0
_hIUSE3 : 0
_iTOT CHKOUT : 0
_jTOT RENEW : 0
999 _c21829
_d21829