Cylindric algebras.
Overview
Works: | 4 works in 4 publications in 4 languages |
---|
Titles
Quantifier elimination over real closed fields : = mathematical basis, solution techniques, practical integrations /
by:
(Language materials, printed)