2024-03-28T08:51:26Zhttps://eprints.lib.hokudai.ac.jp/dspace-oai/requestoai:eprints.lib.hokudai.ac.jp:2115/500152022-08-30T03:17:18Zhdl_2115_20126hdl_2115_20124真偽維持システムを用いた項書換えシステムの推論手続きに関する研究近藤, 久open access500Hokkaido University1994-03-25jpndoctoral thesisVoRhttps://doi.org/10.11501/3076668http://hdl.handle.net/2115/5001510.11501/3076668vii, 111p.甲第3397号博士(工学)1994-03-2510101北海道大学Hokkaido Universityhttps://eprints.lib.hokudai.ac.jp/dspace/bitstream/2115/50015/1/000000272701.pdfapplication/pdf95.37 MB1994-03-25