|
|
|
|
| LEADER |
01202nam a2200349 4500 |
| 001 |
DLU030023184 |
| 005 |
##20011001142146.0 |
| 008 |
##010821s2001 gw a b 001 0 eng |
| 010 |
# |
# |
|a 2001049476
|
| 020 |
# |
# |
|a 354042525X (pbk. : alk. paper)
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
| 042 |
# |
# |
|a pcc
|
| 050 |
# |
# |
|a QA76.9.A96
|b T655 2001
|
| 082 |
# |
# |
|a 004.015 1
|b TPH
|
| 111 |
# |
# |
|a TPHOLs 2001
|d (2001 :
|c Edinburgh, Scotland)
|
| 245 |
# |
# |
|a Theorem proving in higher order logics :
|b 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
|c Richard J. Boulton, Paul B. Jackson (eds.).
|
| 260 |
# |
# |
|a Berlin ;
|a New York :
|b Springer,
|c c2001.
|
| 300 |
# |
# |
|a x, 393 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
# |
# |
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 2152
|
| 504 |
# |
# |
|a Includes bibliographical references and index.
|
| 650 |
# |
# |
|a Automatic theorem proving
|v Congresses.
|
| 700 |
# |
# |
|a Boulton, Richard J.,
|d 1967-
|
| 700 |
# |
# |
|a Jackson, Paul B.,
|d 1962-
|
| 992 |
# |
# |
|a 67.00
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Phan Ngọc Đông
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
