scientific article; zbMATH DE number 3319539
From MaRDI portal
Publication:5599162
zbMath0201.33102MaRDI QIDQ5599162
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A bibliography of quantifier elimination for real closed fields ⋮ Solving problems by formula manipulation in logic and linear inequalities
This page was built for publication: