General Form of Alpha-Linear Resolution Method Based on Lattice-Valued First-Order Logic System
Keyword(s):
Keyword(s):
Keyword(s):
2014 ◽
Vol 26
(5)
◽
pp. 2359-2367
◽
Keyword(s):
Keyword(s):
2008 ◽
pp. 292-298
◽
Keyword(s):