醒吾科技大學圖書館 |

[NT 42591] Language: Francais

[NT 5480] Login

[NT 5635] Back

[NT 59884] Switch To: [NT 5556] Labeled | [NT 5559] MARC Mode | [NT 33762] ISBD

Quantifier elimination and cylindrical algebraic decomposition

[NT 42944] Record Type:	[NT 1579] Language materials, printed : [NT 40817] monographic
[NT 47354] Secondary Intellectual Responsibility:	Caviness,Bob F.,
[NT 47354] Secondary Intellectual Responsibility:	Johnson,J. R.,
[NT 47351] Place of Publication:	New York
[NT 47263] Published:	Springer;
[NT 47352] Year of Publication:	c1998
[NT 47264] Description:	xix, 431 p.ill. : 25 cm.;
[NT 47298] Series:	Texts and monographs in symbolic computation
[NT 47266] Subject:	Algebra -
[NT 47266] Subject:	Algorithms - Congresses -
[NT 47266] Subject:	Decomposition method - Data processing -
[NT 47265] Notes:	Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria
[NT 50961] 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

[NT 59758] based on 0 [NT 59757] review(s)

[NT 42818] Items

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 5501718] Search Note

[NT 5000115] Inventory Number

[NT 7898] Location Name

[NT 7947] Item Class

[NT 33989] Material type

[NT 43385] Call number

[NT 5501238] Usage Class

[NT 45600] Loan Status

[NT 48088] No. of reservations

[NT 52971] Opac note

[NT 46641] Attachments

[NT 5502] Print

00206744

4樓西文圖書區

一般圖書

一般圖書

512 Q1

一般使用(Normal)

[NT 41737] On shelf

0

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 59725] Reviews

[NT 59886] Add a review [NT 59885] and share your thoughts with other readers

Export

[NT 5501410] pickup library

[NT 48336] Change password

[NT 5480] Login