南開科技大學圖書館 |

Language: 繁體中文

說明(常見問題)

南開科技大學

圖書館首頁

編目中圖書申請

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Mechanical theorem proving in geomet...

~

Wu, Wen-tsun.

Mechanical theorem proving in geometries :basic principles /

紀錄類型:	書目-語言資料,印刷品 : 單行本
正題名/作者:	Mechanical theorem proving in geometries :/ Wen-tsun Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.
其他題名:	basic principles /
作者:	Wu, Wen-tsun.
出版者:	Wien ;Springer-Verlag,c1994.
面頁冊數:	xiv, 288 p. :ill. ;25 cm.
附註:	"Originally published as 'Basic principles of mechanical theorem proving in geometries' in Chinese language by Science Press, Beijing, 1984"--T.p. verso.
叢書名:	Texts and monographs in symbolic computation,
標題:	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 筆讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

091196

六樓西文書庫 (6th Floor-Western Books)

一般借閱

外文書

* 516.0015113 W959 1994

一般(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

建立或儲存個人書籤

書目轉出

取書館別

變更密碼

登入