Art
J-GLOBAL ID：201302014235127062 Reference number：13A0446023
ON AN UNSATISFIABILITY-SATISFIABILITY PROVER
Publisher site
Copy service
Access JDreamⅢ for advanced search and analysis.
Author (1)：
HOSONO C
About HOSONO C
Search "201550000121996351"
Search "HOSONO C"
Material：
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES
About PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES
Search "O5304A"
Search ISSN,ISBN,CODEN
Volume：
25
Issue：
1
Page：
79-103
Publication year：
1989
JST Material Number：
O5304A
ISSN：
0034-5318
Document type：
Article
Country of issue：
Other (ZZZ)
Language：
ENGLISH (EN)
Reference (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.
ｍore...
Return to Previous Page
TOP
BOTTOM
