|
|
|
|
| LEADER |
00964nam a2200241 a 4500 |
| 001 |
911320 |
| 005 |
20171111231350.0 |
| 008 |
000809s1998 w erc 101 0 eng d |
| 020 |
|
|
|a 3211827943(pbk.:acidfreepaper)
|
| 040 |
|
|
|a TEIK
|b gre
|
| 082 |
|
0 |
|a 512
|
| 245 |
0 |
0 |
|a Quantifier elimination and cylindrical algebraic decomposition/
|c B.F. Caviness, J.R. Johnson (eds.)
|
| 260 |
|
|
|a Wien
|b Springer,
|c c1998
|a New York:
|
| 300 |
|
|
|a xix, 431σ. :
|b εικ. ;
|c 25εκ.
|
| 490 |
0 |
|
|a Texts and monographs in symbolic computation
|
| 500 |
|
|
|a Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria
|
| 504 |
|
|
|a Περιέχει βιβλιογραφία και ευρετήριο
|
| 650 |
1 |
0 |
|a Algebra
|x Data processing
|
| 650 |
1 |
0 |
|a Decomposition method
|
| 650 |
1 |
0 |
|a Algorithms
|
| 700 |
1 |
|
|a Caviness, B. F.
|
| 700 |
1 |
|
|a Johnson, J. R.
|
| 952 |
|
|
|a GRThAnMak
|b 59cc8f286c5ad13446fee828
|c 998a
|d 945l
|e 512 QUA
|t 1
|x m
|z Books
|
