@misc{oai:tsukuba.repo.nii.ac.jp:00013056,
 author = {Nogi, Kenroku and 野木, 兼六},
 month = {},
 note = {application/pdf, 筑波大学博士 (工学) 学位論文・平成6年3月25日授与 (乙第987号)},
 title = {集合論プログラミングの研究},
 year = {1994}
}