文献

J-GLOBAL ID：201302014235127062   整理番号：13A0446023

ON AN UNSATISFIABILITY-SATISFIABILITY PROVER

著者 (1件)： HOSONO C
資料名： PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES
巻： 25  号： 1  ページ： 79-103  発行年： 1989年 
JST資料番号： O5304A  ISSN： 0034-5318  資料種別： 逐次刊行物 (A)
発行国： その他 (ZZZ)  言語： 英語 (EN)

引用文献 (6件)：

• [1] Andrews, P. B., Theorem proving via general matings, J. ACM, 28 (1981), 193–214.
• [2] Chang, C. L., Theorem proving with variable-constrained resolution, Information Science, 4 (1972), 217–231.
• [3] Chang, C. L. and Lee, R. C., Symbolic logic and mechanical theorem proving, Academic Press, New York, 1973.
• [4] Fribourg, L., A superposition oriented theorem prover, Theoretical Computer Science, 35 (1985), 129–164.
• [5] Hosono, C., A method of theorem proving-a modification of the variable constrained resolution, Tensor, N. S., 46 (1987), 44–51.