Thomas Schilz

From MaRDI portal
Person:1286477

Available identifiers

zbMath Open schilz.thomasMaRDI QIDQ1286477

List of research outcomes





PublicationDate of PublicationType
Checking geometric programs or verification of geometric structures1999-05-03Paper

Research outcomes over time

This page was built for person: Thomas Schilz