Volume 55, issue 3, October 2015

Special Issue: 40 Years of Mizar and Beyond

Issue editors
  • Andrzej Trybulec
  • Krystyna Trybulec Kuperberg

10 articles in this issue

  1. Four Decades of Mizar

    Authors

    • Adam Grabowski
    • Artur Korniłowicz
    • Adam Naumowicz
    • Content type: OriginalPaper
    • Open Access
    • Published: 15 September 2015
    • Pages: 191 - 198
  2. MizAR 40 for Mizar 40

    Authors

    • Cezary Kaliszyk
    • Josef Urban
    • Content type: OriginalPaper
    • Open Access
    • Published: 21 July 2015
    • Pages: 245 - 256