机读格式显示(MARC)
- 000 00876nam2 2200277 4500
- 008 940914c1993 enka 100 0 eng
- 020 __ |a 0262730901 |c CNY31.50
- 090 __ |a TP31-53/E17:7TH:(90)
- 099 __ |a CAL 021999655662
- 245 00 |a Logic programming : |b proceedings of the 1993 international Symposium / |c edited by Dale Miller.
- 260 __ |a London : |b MIT Press, |c c1993.
- 300 __ |a xxii, 628 p. : |b ill.
- 440 _0 |a Logic programming.
- 650 _0 |a Logic programming |x Congresses.
- 905 __ |a XATU |d TP31-53/E17:7TH:(90)
- 950 __ |a 261060 |f TP31-53/E17:7th:(90)
- 999 __ |t C |A zhaining |a 20050125 11:15:48 |M zhaining |m 20050125 11:17:18 |G zhaining |g 20050125 11:17:5