机读格式显示(MARC)
- 000 01019nam 2200373 a 4500
- 008 060922s1989 mau b 00110 eng
- 037 __ |a 7156116 |b ph |c 5.90
- 099 __ |a CAL 022000200795
- 100 1_ |a Van Hentenryck, Pascal.
- 245 10 |a Constraint satisfaction in logic programming / |c Pascal Van Hentenryck.
- 260 __ |a Cambridge, Mass. : |b MIT Press, |c 1989.
- 300 __ |a xvi, 224 p. : |c 23 cm.
- 490 0_ |a Logic programming
- 500 __ |a Revision of the author's thesis (Ph. D.)--University of Namur, 1987.
- 500 __ |a Includes index.
- 504 __ |a Bibliography: p. [211]-220.
- 650 _0 |a Logic programming.