|
|
|
|
| LEADER |
01206nam a2200385 4500 |
| 001 |
DLU060052968 |
| 005 |
##20060518 |
| 008 |
##940208s1994 si a b 001 0 eng |
| 010 |
# |
# |
|a 94005809
|
| 020 |
# |
# |
|a 9810215843
|
| 035 |
# |
# |
|9 (DLC) 94005809
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
| 050 |
# |
# |
|a QA481
|b .C48 1994
|
| 082 |
# |
# |
|a 516
|b CH-S
|
| 100 |
# |
# |
|a Chou, Shang-Ching,
|d 1946-
|
| 245 |
# |
# |
|a Machine proofs in geometry :
|b automated production of readable proofs for geometry theorems.Vol.VI /
|c Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang.
|
| 260 |
# |
# |
|a Singapore ;
|a New Jersey :
|b World Scientific,
|c c1994.
|
| 300 |
# |
# |
|a xvii, 461 p. :
|b ill. ;
|c 23 cm.
|
| 440 |
# |
# |
|a Series on applied mathematics ;
|v v. 6
|
| 504 |
# |
# |
|a Includes bibliographical references (p. 445-454) and index.
|
| 650 |
# |
# |
|a Automatic theorem proving.
|
| 650 |
# |
# |
|a Axioms
|x Data processing.
|
| 700 |
# |
# |
|a Chang, Ching-chung,
|d 1936-
|
| 700 |
# |
# |
|a Gao, Xiao-shan.
|
| 923 |
# |
# |
|a 04/2006
|
| 990 |
# |
# |
|a Vol.VI
|
| 992 |
# |
# |
|a 19.100
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Đào Thị Thu Huyền
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
