机读格式显示(MARC)
- 000 01704nam2 2200409 4500
- 008 911107s1992 enka rb 101 0 eng
- 010 __ |a 91043556 //r982
- 020 __ |a 0387197427 (New York) |c CNY6.40
- 020 __ |a 3540197427 (Berlin)
- 050 00 |a QA76.63 |b .I57 1991
- 090 __ |a TP302.2-53/E1:(91)
- 093 __ |a TP302.2-53 |2 4
- 099 __ |a CAL 022000234120 |a CAL 022000866973
- 111 2_ |a International Workshop on Logic Program Synthesis and Transformation |d (1991 : |c University of Manchester)
- 245 10 |a Logic program synthesis and transformation : |b proceedings of LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 / |c sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau (eds.)
- 260 __ |a London : |b Springer-Verlag, |c c1992.
- 300 __ |a x, 337 : |b ill. ; |c 25 cm.
- 440 _0 |a Workshops in computing
- 500 __ |a "Published in collaboration with the British Computer Society."
- 504 __ |a Includes bibliographical references and index.
- 650 _0 |a Logic programming (Computer science) |x Congresses.
- 700 10 |a Lau, K.-K. |q (Kung-Kiu), |d 1953-
- 700 10 |a Clement, T. P. |q (Timothy Paul), |d 1954-
- 710 20 |a Association for Logic Programming.
- 905 __ |a XATU |d TP302.2-53/E1:(91)
- 950 __ |a 261060 |f TP302.2-53/E1:(91)
- 999 __ |t C |A shenxiaoyan |a 20050126 10:13:26 |M shenxiaoyan |m 20050126 10:14:59 |G shenxiaoyan |g 20050126 10:15:1