Publication:4413887
From MaRDI portal
zbMath1022.68610MaRDI QIDQ4413887
Piotr Rudnicki, Grzegorz Bancerek
Publication date: 21 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2594/25940119.htm
68P15: Database theory
68T30: Knowledge representation
68P20: Information storage and retrieval of data
Related Items
MML, MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics, MPTP 0.2: Design, implementation, and initial experiments, User interaction with the Matita proof assistant, Integrating searching and authoring in Mizar, Crystal: Integrating structured queries into a tactic language, A Query Language for Formal Mathematical Libraries, A Brief Overview of Mizar
Uses Software