Special issue on Applications of quantifier elimination
From MaRDI portal
Publication:1368695
zbMath0879.00020MaRDI QIDQ1368695
No author found.
Publication date: 8 January 1998
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (1)
This page was built for publication: Special issue on Applications of quantifier elimination
