scientific article
From MaRDI portal
Publication:4038744
zbMath0768.68066MaRDI QIDQ4038744
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
This page was built for publication: