scientific article; zbMATH DE number 6744200
From MaRDI portal
Publication:5277880
DOI10.4230/LIPIcs.RTA.2015.209zbMath1366.68119MaRDI QIDQ5277880
Nao Hirokawa, Georg Moser, Aart Middeldorp
Publication date: 12 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
This page was built for publication: