Mizar 講義録

1994年3月16日　発行
1996年7月29日改訂発行

著作者　中村八束，渡辺稔彦，田中保史，カワモト・ポーリン

発行者　信州大学情報基礎研究会



     発行・印刷　信州大学情報基礎研究会

               〒 380 長野県長野市若里500番地

               信州大学工学部情報工学科

　　　　　　　　情報基礎講座中村研究室内

               TEL　026（226）4101　内線5843

1994 中村八束