scientific article; zbMATH DE number 773990
From MaRDI portal
Publication:4839044
zbMath0832.68112MaRDI QIDQ4839044
Christoph Brzoska, Karl Schäfer
Publication date: 13 July 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
MetateM: An introduction ⋮ Programming in metric temporal logic ⋮ Multi-dimensional logic programming: theoretical foundations
This page was built for publication: