|
|
|
|
| LEADER |
01274nam a2200349 4500 |
| 001 |
DLU030022900 |
| 005 |
##20030123090409.0 |
| 008 |
##010821s2001 gw a b 101 0 eng |
| 010 |
# |
# |
|a 2001049477
|
| 020 |
# |
# |
|a 3540425543 (pbk. : alk. paper)
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
| 042 |
# |
# |
|a pcc
|
| 050 |
# |
# |
|a QA76.9.L63
|b C68 2001
|
| 082 |
# |
# |
|a 005.101
|c SL
|
| 111 |
# |
# |
|a Workshop on Computer Science Logic
|n (15th :
|d 2001 :
|c Paris, France)
|
| 245 |
# |
# |
|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.).
|
| 260 |
# |
# |
|a Berlin :
|a New York :
|b Springer,
|c 2001.
|
| 300 |
# |
# |
|a xii, 614 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
# |
# |
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 2142
|
| 504 |
# |
# |
|a Includes bibliographical references and index.
|
| 650 |
# |
# |
|a Computer logic
|v Congresses.
|
| 700 |
# |
# |
|a Fribourg, Laurent,
|d 1957-
|
| 710 |
# |
# |
|a European Association for Computer Science Logic.
|b Conference
|n (10th :
|d 2001 :
|c Paris, France)
|
| 992 |
# |
# |
|a 115.7
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Thái Thị Thanh Thủy
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
