机读格式显示(MARC)

• 000 00494nam2 2200181 4500

• 001 0000231291

• 020 __ |a 3-540-19742-7 |c ￥64.00

• 041 0_ |a eng

• 093 __ |a TP311-53 |v 4

• 245 1_ |a Logic program synthesis and transformation : Proceedings |c LOPSTR international work |g |A LOGPRSA |F LOPSTR INTER

• 250 __ |a

• 260 __ |a Kodansha |b VCH |c 1992.

• 300 __ |a 337c24cm

• 440 0_ |a

• 700 _0 |a LOPSTR international work |A LOPSTR INTER |4 著

• 851 _0 |a CN |b HIEL

• 905 __ |a HIEL |d TP311-53/I3

• 999 __ |b 1