<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-03-21 07:54:00Automated theorem proving Rippling Theorem IsaPlanner Lemma Algorithm Analysis |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-03-21 07:54:00Automated theorem proving Rippling Theorem IsaPlanner Lemma Algorithm Analysis |
Add to Reading List |
Automated Discovery of Inductive Lemmas Moa Johansson NI VER