醒吾科技大學圖書館 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Quantifier elimination and cylindrical algebraic decomposition

紀錄類型:	書目-語言資料,印刷品 : 單行本
其他作者:	Caviness,Bob F.,
其他作者:	Johnson,J. R.,
出版地:	New York
出版者:	Springer;
出版年:	c1998
面頁冊數:	xix, 431 p.ill. : 25 cm.;
集叢名:	Texts and monographs in symbolic computation
標題:	Algebra -
標題:	Algorithms - Congresses -
標題:	Decomposition method - Data processing -
附註:	Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria
ISBN:	3-211-82794-3

Quantifier elimination and cylindrical algebraic decomposition
Quantifier elimination and cylindrical algebraic decomposition / B.F. Caviness, J.R. Johnson (eds.) - New York : Springer, c1998. - xix, 431 p. ; ill. ; 25 cm.. - (Texts and monographs in symbolic computation).
Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria.
Includes bibliographical references (p. [393]-419) and index.
ISBN 3-211-82794-3
AlgebraAlgorithmsDecomposition method -- Congresses -- Data processing

Caviness,, Bob F.

Quantifier elimination and cylindrical algebraic decomposition
LDR:00894nam0 2200229 i 450 001 119965
005 20120618123440.0
010 1 $a 3-211-82794-3 $b pbk. $d NT1712
020 $a us $b 96043590
100 $a 20071107d1998 u y0engy09 b
101 0 $a eng
102 $b au
105 $a a a 101yy
200 1 $a Quantifier elimination and cylindrical algebraic decomposition $f B.F. Caviness, J.R. Johnson (eds.)
210 $a New York $a Wien $d c1998 $c Springer
215 1 $a xix, 431 p. $c ill. $d 25 cm.
225 2 $a Texts and monographs in symbolic computation $x 0943-853X
300 $a Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria
320 $a Includes bibliographical references (p. [393]-419) and index
410 0 $1 2001 $a Texts and monographs in symbolic computation
516 1 1 $a Quantifier elimination $z eng
606 $a Algebra $3 45886 $3 221875
606 $a Algorithms $x Congresses $3 96668 $3 224181
606 $a Decomposition method $x Data processing $x Congresses $3 96667 $3 224182
676 $a 512 $v 21
680 $a QA155.7.E4 $b Q36 1998
702 $a Caviness, $b Bob F. $3 96665
702 $a Johnson, $b J. R. $g Jeremy R. $3 96666

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

尋書單

典藏地名稱

館藏流通類別

00206744

4樓西文圖書區

一般圖書

一般圖書

512 Q1

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入