scientific article
From MaRDI portal
Publication:3408129
zbMath1273.03045MaRDI QIDQ3408129
Serge Autexier, Carsten Schuermann
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
This page was built for publication:
