H ? « »

Language peer sets for Mizar FC:
Designed 1978
1970s languages
Fourth generation
High Cold War

Mizar FC(ID:7818/)

alternate simple view
Country: Poland
Designed 1978

second implementation of Mizar

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

  • 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