Title of article

Making assumptions in the automated derivation

Author/Authors

Faye F. Liu، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2004

Pages

21

From page

227

To page

247

Keywords

Logic programming , SLD-resolution , Conditional proof , PT-resolution

Journal title

Information Sciences

Serial Year

2004

Journal title

Information Sciences

Record number

176641