MIZAR: the first 30 years


We present the story of the MIZAR project with focus on the years until 1989. A lot about MIZAR after 1989 is available at the web3. 


2 Figures and Tables


Citations per Year

55 Citations

Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Shidama2005MIZARTF, title={MIZAR: the first 30 years}, author={Yasunari Shidama and Yasunari Shi and Anna Rybak and Josef Urban and Grzegorz Bancerek and Roman Matuszewski and Piotr Rudnicki and Andrzej Trybulec}, year={2005} }