000 01225cam a2200289 a 4500
005 20260818212709.0
008 110413s1989 gw r 100|0 eng |
020 _a3540510818
035 _a.b10571565
050 0 0 _aQA267
_bI555 1989
111 2 _aInternational Conference on Rewriting Techniques and Applications
_n(3rd :
_d1989 :
_cChapel Hill, North Carolina)
245 1 0 _aRewriting techniques and applications :
_b3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
_cN. Dershowitz [ed.]
246 3 0 _aRTA-89
260 _aBerlin :
_bSpringer-Verlag,
_c1989
300 _a578 p.
440 0 _aLecture notes in computer science ;
_vno. 355
650 0 _aRewriting systems (Computer science)
_vCongresses
650 0 _aElectronic digital computers
_xProgramming
_vCongresses
650 0 _aAlgorithms
_vCongresses
700 1 _aDershowitz, Nachum
907 _a.b10571565
_bmngc
_c-
902 _a121031
998 _b1
_c951012
_dm
_ea
_f-
_g0
945 _lmngc
942 _c14
909 _aBarcode : 30050003197042
_bCREATED : 1995-10-15
_cRECORD # : i1072249x
_dLPATRON : 0
_eLCHKIN : -
_f# RENEWALS : 0
_g# OVERDUE : 0
_hIUSE3 : 0
_iTOT CHKOUT : 0
_jTOT RENEW : 0
999 _c101898
_d101898