H ? « »

Language peer sets for Mizar QC:
Designed 1977
1970s languages
Fourth generation
High Cold War

Mizar QC(ID:7817/)

alternate simple view
Country: Poland
Designed 1977

first implementation of Mizar - had "neither functional notation nor definitional facilities"

Related languages
Mizar Mizar QC   Evolution of
Mizar QC Mizar FC   Evolution of

  • (1977) Trybulec, A., Informationslogische Sprache Mizar, Dokumentation-Information, Heft 33, Ilmenau, 1977
  • (1978) Trybulec, A., The Mizar-QC/6000 Logic Information Language, ALLC Bulletin, Vol.6, No 2, 1978
  • (1980) Trybulec, A., The Mizar Logic Information Language, Studies in Logic, Grammar and Rhetoric, Vol.1, Bialystok, 1980
  • 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
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder