机读格式显示(MARC)
- 000 01437cam 2200349 a 4500
- 008 061115s2001 gw a b 101 0 eng
- 020 __ |a 3540421270 (pbk. : alk. paper)
- 040 __ |a DLC |c DLC |d CUS |d C#P |d UKM |d OHX |d GZM |d C$Q |d CVU |d SCT
- 050 00 |a QA76.63 |b .L69 2000
- 090 __ |a TP311.1/L832(L)
- 093 __ |a TP311.1-532 |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.).
- 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-
- 856 41 |u http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2042&issue=preprint |z Springer LINK version
- 950 __ |a JHUL |b TP311.1 |c L832(L)