2024-03-28T23:53:04Zhttps://eprints.lib.hokudai.ac.jp/dspace-oai/requestoai:eprints.lib.hokudai.ac.jp:2115/410982019-03-18T09:51:37Zhdl_2115_40296hdl_2115_40231hdl_2115_139述語論理式間の含意関係判定の簡略化についてOn the Reduction of Recognition of the Implication Relations between Formulas in the Logic of Predicates前田, 隆500北海道大学Departmental Bulletin Paperapplication/pdfhttp://hdl.handle.net/2115/41098https://eprints.lib.hokudai.ac.jp/dspace/bitstream/2115/41098/1/65_87-96.pdf0385-602XAN00230223北海道大學工學部研究報告6587951972-12-16jpnpublisher