scientific article; zbMATH DE number 2098734
From MaRDI portal
Publication:4815315
zbMath1046.03018MaRDI QIDQ4815315
Laureano Gonzalez-Vega, Ioana Necula
Publication date: 7 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication:
