Proving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree Method

Rusinowitch, M.M.Rusinowitch項潔Hsiang, JiehJiehHsiang2009-02-032018-07-052009-02-032018-07-051991http://ntur.lib.ntu.edu.tw//handle/246246/118459en-USProving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree Methodjournal articlehttp://ntur.lib.ntu.edu.tw/bitstream/246246/118459/1/16.pdf