Quantifier elimination and cylindrical algebraic decomposition

書誌事項

Quantifier elimination and cylindrical algebraic decomposition

B.F. Caviness and J.R. Johnson (eds.)

(Texts and monographs in symbolic computation)

Springer, c1998

大学図書館所蔵 件 / 13

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ