scientific article
From MaRDI portal
Publication:2754039
zbMath0974.68533MaRDI QIDQ2754039
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
FoCaLiZe and Dedukti to the rescue for proof interoperability ⋮ A revision of the proof of the Kepler conjecture ⋮ Certifying Term Rewriting Proofs in ELAN
Uses Software
This page was built for publication:
