語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Quantifier elimination and cylindric...
~
Caviness, Bob F.
FindBook
Google Book
Amazon
博客來
Quantifier elimination and cylindrical algebraic decomposition /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Quantifier elimination and cylindrical algebraic decomposition // B.F. Caviness and J.R. Johnson (eds.).
其他作者:
Caviness, Bob F.
出版者:
Wien ;Springer, : c1998.,
面頁冊數:
xix, 431 p. :ill. ;25 cm.
附註:
Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation (RISC) in Linz, Austria.
叢書名:
Texts and monographs in symbolic computation,
標題:
Algebra - Data processing -
ISBN:
3211827943 (pbk.) :
Quantifier elimination and cylindrical algebraic decomposition /
Quantifier elimination and cylindrical algebraic decomposition /
B.F. Caviness and J.R. Johnson (eds.). - Wien ;Springer,c1998. - xix, 431 p. :ill. ;25 cm. - Texts and monographs in symbolic computation,0943-853X.
Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation (RISC) in Linz, Austria.
Includes bibliographical references (p. [393]-419) and index.
ISBN: 3211827943 (pbk.) :DM118.00
LCCN: 96043590Subjects--Topical Terms:
706582
Algebra
--Data processing
LC Class. No.: QA155.7.E4 / Q36 1998
Dewey Class. No.: 512
Quantifier elimination and cylindrical algebraic decomposition /
LDR
:00859pam a2200217 a 45
001
676283
003
DLC
005
20000316135643.4
008
000215s1998 au a b 101 0 eng
010
$a
96043590
020
$a
3211827943 (pbk.) :
$c
DM118.00
035
$a
as 00890237
040
$a
DLC
$c
DLC
$d
DLC
$d
DH
050
0 0
$a
QA155.7.E4
$b
Q36 1998
082
0 0
$a
512
$2
21
245
0 0
$a
Quantifier elimination and cylindrical algebraic decomposition /
$c
B.F. Caviness and J.R. Johnson (eds.).
260
$a
Wien ;
$a
New York :
$c
c1998.
$b
Springer,
300
$a
xix, 431 p. :
$b
ill. ;
$c
25 cm.
440
0
$a
Texts and monographs in symbolic computation,
$x
0943-853X
500
$a
Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation (RISC) in Linz, Austria.
504
$a
Includes bibliographical references (p. [393]-419) and index.
650
$a
Algebra
$x
Data processing
$x
Congresses.
$3
706582
650
$a
Algorithms
$v
Congresses.
$3
607038
650
$a
Decomposition method
$x
Data processing
$x
Congresses.
$3
713635
700
$a
Caviness, Bob F.
$3
713633
700
$a
Johnson, J. R.
$q
(Jeremy R.)
$3
713634
740
0
$a
Quantifier elimination.
筆 0 讀者評論
館藏地:
全部
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W0043107
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
01.外借(書)_YB
一般圖書
QA155.7.E4 Q36 1998
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入