scientific article; zbMATH DE number 1444728
From MaRDI portal
Publication:4952308
zbMath0956.68083MaRDI QIDQ4952308
Nikolaj Bjørner, Uri Lerner, Zohar Manna
Publication date: 12 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
This page was built for publication: