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

  2. Four Decades of Mizar

    Authors

    • Adam Grabowski
    • Artur Korniłowicz
    • Adam Naumowicz
    • Content type: OriginalPaper
    • Open Access
    • Published: 15 September 2015
    • Pages: 191 - 198

  6. MizAR 40 for Mizar 40

    Authors

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

For authors

Submission guidelines
Ethics & disclosures
Open Access fees and funding
Contact the journal
Submit manuscript

Explore

Online first articles
Volumes and issues
Collections
Sign up for alerts