scientific article; zbMATH DE number 2156289
From MaRDI portal
Publication:4668747
zbMath1090.68588MaRDI QIDQ4668747
Publication date: 15 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic ⋮ Analyzing restricted fragments of the theory of linear arithmetic
This page was built for publication: