000 01049nam a2200313zi 4500
003 $$aOCoLC
005 20220221131536.0
008 040503s2003 enka b 001 0 eng
020 _a0521391156 (empastado, cubierta dura)
035 _aMX001000995329
040 _aDLC
_bspa
_cDLC
_dUNAMX
041 _aENG
050 0 0 _aQA267
_bT436
082 0 0 _a005.13/1
_221
245 0 0 _aTerm rewriting systems /
_cTerese ; [Marc Bezem, Jan Willem Klop, Roel de Vrijer, editors]
264 1 _aCambridge, United Kingdom :
_bCambridge University Press,
_c2003
300 _axxii, 884 pƔginas :
_bilustraciones
490 0 _aCambridge tracts in theoretical computer science ;
_v 25
500 _a"Terese"
650 0 _aSistemas de reescritura (ComputaciĆ³n)
700 1 _aBezem, Marc,
_d1956-,
_eeditor
700 1 _aKlop, J. W.,
_eeditor
700 1 _aVrijer, Roel de,
_eeditor
710 _aTerese (Grupo)
336 _atexto
_2rdacontent
337 _asin medio
_2rdamedia
338 _avolumen
_2rdacarrier
999 _c15653
_d15653