Matches in Library of Congress for { <http://lccn.loc.gov/96043590> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 96043590 alternative "Quantifier elimination".
- 96043590 contributor B7785906.
- 96043590 created "c1998.".
- 96043590 date "1998".
- 96043590 date "c1998.".
- 96043590 dateCopyrighted "c1998.".
- 96043590 description "Includes bibliographical references (p. [393]-419) and index.".
- 96043590 extent "xix, 431 p. :".
- 96043590 identifier "3211827943 (pbk. : acid-free paper)".
- 96043590 isPartOf "Texts and monographs in symbolic computation, 0943-853X".
- 96043590 issued "1998".
- 96043590 issued "c1998.".
- 96043590 language "eng".
- 96043590 publisher "Wien ; New York : Springer,".
- 96043590 subject "512 21".
- 96043590 subject "Algebra Data processing Congresses.".
- 96043590 subject "Algorithms Congresses.".
- 96043590 subject "Decomposition method Data processing Congresses.".
- 96043590 subject "QA155.7.E4 Q36 1998".
- 96043590 title "Quantifier elimination and cylindrical algebraic decomposition / B.F. Caviness, J.R. Johnson (eds.).".
- 96043590 title "Quantifier elimination".
- 96043590 type "text".