- journal article metadata
European Mathematical Society Publishing House
2016-09-19 17:05:33
Publications of the Research Institute for Mathematical Sciences
Publ. Res. Inst. Math. Sci.
PRIMS
0034-5318
1663-4926
General
10.4171/PRIMS
http://www.ems-ph.org/doi/10.4171/PRIMS
subscribers, moving wall 5 years
European Mathematical Society Publishing House
Zuerich, Switzerland
© Research Institute for Mathematical Sciences, Kyoto University
25
1989
1
On an Unsatisfiability-satisfiability Prover
Chiharu
Hosono
University of Tsukuba, IBARAKI, JAPAN
General
79
103
10.2977/prims/1195173764
http://www.ems-ph.org/doi/10.2977/prims/1195173764