scientific article; zbMATH DE number 1497860
From MaRDI portal
Publication:4499291
zbMath0966.68190MaRDI QIDQ4499291
Publication date: 5 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A User-friendly Interface for a Lightweight Verification System ⋮ Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
This page was built for publication:
