Title of article
Appropriate lemmae discovery
Author/Authors
M. Demba، نويسنده , , K. Bsaïes، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
17
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