Distributed assertion retrieval

MaRDI QIDQ2767923zbMATH OpenFDO

Authors Christoph Benzmüller, Andreas Meier, Volker Sorge

Publication date 14 February 2002

Full work available at URL http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Describes a project that uses

Uses Software

• Mizar
• MBase
• OMEGA
• Omega-ANTS

This page was built for publication: Distributed assertion retrieval

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767923)