000 -LEADER |
fixed length control field |
00616pam a2200193a 44500 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20170103122027.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
160408b1994 xxu||||| |||| 00| 0 eng d |
040 ## - CATALOGING SOURCE |
Transcribing agency |
IITK |
041 ## - LANGUAGE CODE |
Language code of text/sound track or separate title |
eng |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
516.0015113 |
Item number |
W95m |
100 ## - MAIN ENTRY--AUTHOR NAME |
Personal name |
Wu, Wen-tsun |
245 1# - TITLE STATEMENT |
Title |
Mechanical theorem proving in geometries |
Remainder of title |
basic principles |
Statement of responsibility, etc |
by Wen-tsun Wu |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Year of publication |
1994 |
Place of publication |
New York |
Name of publisher |
Springer-Verlag |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
xiv, 288p |
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE |
Title |
Texts and Monographs in Symbolic Computation |
500 ## - GENERAL NOTE |
General note |
Translated from Chinese by Xiaofan Jin and Dongming Wang |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Jin, Xiaofan, tr. |
-- |
Wang, Dongming, tr. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
Books |