scientific article; zbMATH DE number 1301870
From MaRDI portal
Publication:4247095
zbMath0927.03017MaRDI QIDQ4247095
Serge Autexier, Werner Stephan, Heiko Mantel
Publication date: 16 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication:
