| tech,4-1-C94-1077,ak | handling </term> . A new , flexible <term> | inference method | </term> for <term> Horn logic program </term> | #26767 A new, flexible inference method for Horn logic program is proposed. |
|
|
|
|
| tech,4-1-C94-1077,ak | handling </term> . A new , flexible <term> | inference method | </term> for <term> Horn logic program </term> | #26767 A new, flexible inference method for Horn logic program is proposed. |
