机读格式显示(MARC)

• 000 01800cam 2200445 a 4500

• 000 1000078199

• 001 0000302047

• 005 20060608093325.0

• 008 010330s2001 nyua b 100 0 eng

• 010 __ |a 2001031130

• 020 __ |a 3540419500 (pbk. : alk. paper) : |c CNY300.00

• 040 __ |a DLC |c DLC |d DLC |d SCT

• 042 __ |a pcc

• 050 00 |a QA76.612 |b .C693 2001

• 082 00 |a 005.1/1 |2 21

• 090 __ |a TP3-53/CCL

• 093 __ |a TP3-53 | |4

• 093 __ |a O141-53 |2 4

• 099 __ |a CAL 022001396569

• 111 2_ |a CCL'99 |d (1999 : |c Gif-sur-Yvette, France)

• 245 10 |a Constraints in computational logics : |b theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures / |c Hubert Comon, Claude Marche, Ralf Treinen (eds.).

• 246 30 |a CCL'99

• 260 __ |a Berlin ; |a New York : |b Springer, |c c2001.

• 300 __ |a xii, 309 p. : |b ill. ; |c 24 cm.

• 490 1_ |a Lecture notes in computer science, |x 0302-9743 ; |v 2002. |a Tutorial

• 500 __ |a Lectures at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, September 1999.

• 504 __ |a Includes bibliographical references.

• 530 __ |a Also available via the World Wide Web.

• 650 _0 |a Constraint programming (Computer science) |v Congresses.

• 650 _0 |a Logic programming |v Congresses.

• 700 1_ |a Treinen, Ralf.

• 700 1_ |a Comon, Hubert.

• 700 1_ |a Marche, Claude.

• 710 2_ |a ESPRIT CCL Working Group.

• 830 _0 |a Lecture notes in computer science ; |v 2002.

• 830 _0 |a Lecture notes in computer science. |p Tutorial.

• 901 __022006000046

• 905 __ |a CAU |f TP3-53/CCL |b W0075203(or.)

• 907 __ |a CAU |f TP3-53/CCL |b W0075203(or.)

• 999 __ |t E |A wzhlc |a 20060608 09:32:52 |G wzhlc |g 20060322 13:50:30 |I wzhlc |i 20060608 09:33:5