机读格式显示(MARC)

• 000 01459cam 2200361 a 4500

• 001 0000594039

• 003 CAL

• 005 20070117091500.0

• 007 cr un---------

• 008 070117s2001 gw a b 101 0 eng

• 010 __ |a 2001049477

• 020 __ |a 3540425543 (pbk. : alk. paper)

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

• 042 __ |a pcc

• 050 00 |a QA76.9.L63 |b C68 2001

• 082 00 |a 005.1/01/5113 |2 21

• 090 __ |a TP301/C738(C)

• 093 __ |a TP301-532 |2 4

• 093 __ |a TP301 |2 4

• 099 __ |a CAL 022001457010

• 111 2_ |a Workshop on Computer Science Logic |n (15th : |d 2001 : |c Paris, France)

• 245 10 |a Computer science logic : |b 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / |c Laurent Fribourg (ed.).

• 246 30 |a CSL 2001

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

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

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

• 530 __ |a Also available via the World Wide Web. (Restricted to LINK subscribers)

• 650 _0 |a Computer logic |v Congresses.

• 700 1_ |a Fribourg, Laurent, |d 1957-

• 710 2_ |a European Association for Computer Science Logic. |b Conference |n (10th : |d 2001 : |c Paris, France)

• 710 2_ |a LINK (Online service)

• 856 41 |u http://link.springer-ny.com/link/service/series/0558/tocs/t2142.htm |z Restricted to Springer LINK subscribers

• 950 __ |a JHUL |b TP301 |c C738(C)