مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Appropriate lemmae discovery

Author/Authors :

M. Demba، نويسنده , , K. Bsaïes، نويسنده ,

Issue Information :

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

Pages :

From page :

221

To page :

237

Keywords :

Implicative formulae , Automated theorem proving , mathematical induction , Lemmae discovery , Program synthesis

Journal title :

Information Sciences

Serial Year :

2004

Journal title :

Information Sciences

Record number :

176657

Link To Document :