| other,7-1-C94-1077,ak | flexible <term> inference method </term> for <term> | Horn logic program | </term> is proposed . It is also a drastic | #26770 A new, flexible inference method for Horn logic program is proposed. |
|
|
|
|
| other,7-1-C94-1077,ak | flexible <term> inference method </term> for <term> | Horn logic program | </term> is proposed . It is also a drastic | #26770 A new, flexible inference method for Horn logic program is proposed. |
