Mathematical Knowledge Management
From MaRDI portal
Publication:5313073
DOI10.1007/b100478zbMath1108.68602OpenAlexW4234388457MaRDI QIDQ5313073
Stefano Zacchiroli, Claudio Sacerdoti Coen
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100478
Related Items (3)
User interaction with the Matita proof assistant ⋮ A User Interface for a Mathematical System that Allows Ambiguous Formulae ⋮ The Matita Interactive Theorem Prover
Uses Software
This page was built for publication: Mathematical Knowledge Management
