机读格式显示(MARC)

• 000 01446cam 2200349 a 4500

• 000 1000078264

• 001 0000302109

• 005 20060320092703.0

• 008 010424s2001 gw a b 101 0 eng

• 010 __ |a 2001032234

• 020 __ |a 3540421270 (pbk. : alk. paper) : |c CNY200.00

• 040 __ |a DLC |c DLC |d CUS |d C#P |d UKM |d OHX |d GZM |d C$Q |d CVU |d SCT

• 042 __ |a pcc

• 050 00 |a QA76.63 |b .L69 2000

• 082 00 |a 005.1/15 |2 21

• 090 __ |a TP311-53/IWL

• 093 __ |a TP311-53 |2 4

• 099 __ |a CAL 022001398704 |a CAL 022001410724 |a CAL 022002120749

• 111 2_ |a International Workshop on Logic Program Synthesis and Transformation |n (10th : |d 2000 : |c London, England)

• 245 10 |a Logic based program synthesis and transformation : |b 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / |c Kung-Kiu Lau (ed.).

• 246 30 |a LOPSTR 2000

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

• 300 __ |a viii, 181 p. : |b ill. ; |c 24 cm.

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

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Available also through Springer LINK.

• 650 _0 |a Logic programming |v Congresses.

• 700 1_ |a Lau, K.-K. |q (Kung-Kiu), |d 1953-

• 901 __022006000134

• 905 __ |a CAU |f TP311-53/IWL |b W0075088(or.)

• 907 __ |a CAU |f TP311-53/IWL |b W0075088(or.)

• 999 __ |t C |A xy1 |a 20060222 14:25:50 |I wzhlc |i 20060320 09:27:03 |G wzhlc |g 20060320 09:27:0