机读格式显示(MARC)

• 000 01469cam 2200361 a 4500

• 000 1000077961

• 001 0000301826

• 005 20060227104252.0

• 008 010530s2001 gw a b 101 0 eng d

• 020 __ |a 3540421173 (pbk.) : |c CNY400.00

• 040 __ |a UKM |c UKM |d OHX |d CUS |d C$Q |d CVU |d SCT

• 050 _4 |a QA267 |b .R48 2001

• 082 04 |a 005.131 |2 21

• 090 __ |a TP311.1-53/ICR

• 093 __ |a TP333-53 |2 4

• 093 __ |a TP311.1-53 |2 4

• 099 __ |a CAL 022001398696

• 111 2_ |a International Conference on Rewriting Techniques and Applications |n (12th : |d 2001 : |c Utrecht, Netherlands)

• 245 10 |a Rewriting techniques and applications : |b 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / |c Aart Middeldorp (ed.).

• 246 30 |a RTA 2001

• 260 __ |a Berlin ; |a New York : |b Springer, |c c2001.

• 300 __ |a xii, 361 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Lecture notes in computer science, |x 0302-9743 ; |v 2051

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Available also through Springer LINK.

• 650 _0 |a Algorithms |v Congresses.

• 650 _0 |a Rewriting systems (Computer science) |v Congresses.

• 650 _0 |a Computer programming |v Congresses.

• 700 1_ |a Middeldorp, Aart, |d 1963-

• 901 __022005000820

• 905 __ |a CAU |f TP311.1-53/ICR |b W0074922(or.)

• 907 __ |a CAU |f TP311.1-53/ICR |b W0074922(or.)

• 999 __ |t C |A xy1 |a 20060104 10:51:52 |I wzhlc |i 20060227 10:42:52 |G wzhlc |g 20060227 10:42:5