مرکز منطقه ای اطلاع رساني علوم و فناوري - Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts

Title of article :

Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts

Author/Authors :

Jorg Denzinger، نويسنده , , Stephan Schulz، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Journal title :

Information and Computation

Serial Year :

2000

Journal title :

Information and Computation

Record number :

261916

Link To Document :