resolution method for a lattice-valued first-order logic
Xingxing He, Yang Xu, Jun Liu, Da RuanVolume:
24
Year:
2011
Language:
english
Pages:
7
DOI:
10.1016/j.engappai.2011.07.003
File:
PDF, 240 KB
english, 2011