scientific article
From MaRDI portal
Publication:2767046
zbMath0983.68502MaRDI QIDQ2767046
Julian Richardson, Alan Smaill, David Lacey
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
TPS: A hybrid automatic-interactive system for developing proofs ⋮ The use of embeddings to provide a clean separation of term and annotation for higher order rippling
Uses Software
This page was built for publication:
