H ? « »

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


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

  • 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