Publication:2767928
From MaRDI portal
zbMath0982.68136MaRDI QIDQ2767928
Piotr Rudnicki, Andrzej Trybulec
Publication date: 14 February 2002
Full work available at URL: http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/
68T30: Knowledge representation
Related Items
Pollack-inconsistency, An integrated web platform for the Mizar Mathematical Library, Four decades of {\textsc{Mizar}}. Foreword, The role of the Mizar mathematical library for interactive proof development in Mizar, On rewriting rules in Mizar, A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$
Uses Software