机读格式显示(MARC)

• 000 01219cam 2200313 a 4500

• 001 0000590846

• 003 CAL

• 005 20061114083700.0

• 008 061114s2001 gw a b 101 0 eng d

• 020 __ |a 3540429352

• 035 __ |a (OCoLC)ocm48629121

• 040 __ |a UKM |c UKM |d CaOON |d SCT

• 082 04 |a 005.115 |2 21

• 090 __ |a TP311.1/L832

• 093 __ |a TP311.1-532 |2 4

• 093 __ |a TP311.1 |2 4

• 099 __ |a CAL 022002086032

• 111 2_ |a International Conference on Logic Programming |n (17th : |d 2001 : |c Paphos, Cyprus)

• 245 10 |a Logic programming : |b 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings / |c Philippe Codognet (ed.).

• 246 30 |a ICLP 2001

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

• 300 __ |a xi, 364 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Lecture notes in computer science, |x 0302-9743 ; |v 2237

• 504 __ |a Includes bibliographical references and index.

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

• 650 _0 |a Logic programming |v Congresses.

• 700 1_ |a Codognet, Philippe.

• 856 41 |u http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2237&issue=preprint |z Springer LINK version

• 950 __ |a JHUL |b TP311.1 |c L832