scientific article; zbMATH DE number 1741318
From MaRDI portal
Publication:4329975
zbMath0985.03516MaRDI QIDQ4329975
Hirokazu Anai, Volker Weispfenning
Publication date: 15 May 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication:
