Mizar　講義録

（四訂版：Mizar Version 6.1.12）

中村八束，渡辺稔彦，
田中保史，カワモト・ポーリン　共著
⇒目次へ　（フレームなし）
⇒目次へ　（フレームあり）

信州大学工学部　情報基礎研究室