H ? « ‹ ← → › »

Language peer sets for Mizar:
Poland↑
Poland/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Specialised Languages ↑
Specialised Languages/1988↑
Specialised Languages/pl ↑

Mizar(ID:7822/)

alternate simple view
Country: Poland
Designed 1988
Sammet category: Specialised Languages

Despite name, this is the final release of Mizar (for simplicity's sake)
Related languages
Mizar 3 → Mizar   Evolution of
Mizar → Mizar PC   Port
References:
  • Rudnicki, Piotr (1992) Rudnicki, Piotr "An Overview of the MIZAR Project" Department of Computing Science University of Alberta June 30, 1992 Extract: Intro Extract: History of Mizar
  • Wiedijk, Freek (1998) Wiedijk, Freek "The Fifteen Provers of the World" Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder