東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Quantifier elimination and cylindric...

~

Caviness, Bob F.

Linked to FindBook

Google Book

Amazon

博客來

Quantifier elimination and cylindrical algebraic decomposition /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Quantifier elimination and cylindrical algebraic decomposition // B.F. Caviness and J.R. Johnson (eds.).
other author:	Caviness, Bob F.
Published:	Wien ;Springer, : c1998.,
Description:	xix, 431 p. :ill. ;25 cm.
Notes:	Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation (RISC) in Linz, Austria.
Series:	Texts and monographs in symbolic computation,
Subject:	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.

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0043107

罕用書庫221室(美崙校區,調書請點預約)(RU_221)

01.外借(書)_YB

一般圖書

QA155.7.E4 Q36 1998

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login