Title:
Quantifier elimination and cylindrical algebraic decomposition
Contributer:
Caviness, Bob F.
,
Johnson, Jeremy F.
Publisher:
Wien u.a. :Springer,
Year of publication:
1998
Pages:
431 S.
Series Statement:
Reihe: Texts and monographs of symbolic computation
Type of Medium:
Book
Permalink