Mizar Lecture Notes

Published in March 16th, 1994
Revised Edition Published in July 29th, 1996.

Authors: Yatsuka Nakamura, Toshihiko Watanabe, Yasushi Tanaka, Pauline Kawamoto

Publisher: Shinshu University, Department of Information Engineering, Kiso Lab.

    Published by Shinshu University, Department of Information
Engineering, Kiso Lab. 500 Wakasato Nagano-shi, Nagano-ken 380 Shinshu University, Department of Information Engineering Nakamura Research Lab , Information Engineering Course TEL 026 (226) 4101 Extention5843

1994 Yatsuka Nakamura