Language:
繁體中文
English
日文
說明(常見問題)
南開科技大學
圖書館首頁
編目中圖書申請
登入
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Mechanical theorem proving in geomet...
~
Wu, Wen-tsun.
Mechanical theorem proving in geometries :basic principles /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Mechanical theorem proving in geometries :/ Wen-tsun Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.
Reminder of title:
basic principles /
Author:
Wu, Wen-tsun.
Published:
Wien ;Springer-Verlag,c1994.
Description:
xiv, 288 p. :ill. ;25 cm.
Notes:
"Originally published as 'Basic principles of mechanical theorem proving in geometries' in Chinese language by Science Press, Beijing, 1984"--T.p. verso.
Series:
Texts and monographs in symbolic computation,
Subject:
Geometry - Data processing. -
ISBN:
3211825061 (Wien : pbk.) :
ISBN:
0387825061 (New York)
Mechanical theorem proving in geometries :basic principles /
Wu, Wen-tsun.
Mechanical theorem proving in geometries :
basic principles /Wen-tsun Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang. - Wien ;Springer-Verlag,c1994. - xiv, 288 p. :ill. ;25 cm. - Texts and monographs in symbolic computation,0943-853X.
"Originally published as 'Basic principles of mechanical theorem proving in geometries' in Chinese language by Science Press, Beijing, 1984"--T.p. verso.
Includes bibliographical references (p. [281]-284) and index.
ISBN: 3211825061 (Wien : pbk.) :NT1860
LCCN: 94001452 Subjects--Topical Terms:
148820
Geometry
--Data processing.
LC Class. No.: QA448.D38 / W8 1994
Dewey Class. No.: 516/.001/5113
Mechanical theorem proving in geometries :basic principles /
LDR
:01009cam _2200241a _450
001
131964
003
DLC
005
19990724134651.0
008
940201s1994 au a b 001 0 eng
010
$a
94001452
020
$a
3211825061 (Wien : pbk.) :
$c
NT1860
020
$a
0387825061 (New York)
035
$a
00060066
040
$a
DLC
$c
DLC
$d
DLC
041
1
$a
eng
$h
chi
050
0 0
$a
QA448.D38
$b
W8 1994
082
0 0
$a
516/.001/5113
$2
20
090
$a
*/516.0015113/W959/1994////091196
100
1
$a
Wu, Wen-tsun.
$3
148819
245
1 0
$a
Mechanical theorem proving in geometries :
$b
basic principles /
$c
Wen-tsun Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.
260
$a
Wien ;
$a
New York :
$b
Springer-Verlag,
$c
c1994.
300
$a
xiv, 288 p. :
$b
ill. ;
$c
25 cm.
440
0
$a
Texts and monographs in symbolic computation,
$x
0943-853X
500
$a
"Originally published as 'Basic principles of mechanical theorem proving in geometries' in Chinese language by Science Press, Beijing, 1984"--T.p. verso.
504
$a
Includes bibliographical references (p. [281]-284) and index.
650
0
$a
Geometry
$x
Data processing.
$3
148820
650
0
$a
Automatic theorem proving.
$3
148821
0 based onreview(s)
Location:
全部
六樓西文書庫 (6th Floor-Western Books)
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Barcode Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
091196
六樓西文書庫 (6th Floor-Western Books)
一般借閱
外文書
* 516.0015113 W959 1994
一般(Normal)
On shelf
0
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Save to Personal ReadLists
Export a biliographic
pickup library
Processing
...
Change password
Login