scientific article; zbMATH DE number 1157647
From MaRDI portal
Publication:4391212
zbMath0900.03051MaRDI QIDQ4391212
B. F. Caviness, Jeremy R. Johnson
Publication date: 1 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (1)
This page was built for publication:
