
系统Ha中广义语义MP规则与广义语义HS规则
关晓红,折延宏,王国俊
系统Ha中广义语义MP规则与广义语义HS规则
Generalized semantic MP rules and generalized semantic HS rules of the system Ha
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 |
|
〉 |