![](https://www.pdfsearch.io/img/be084a886866595af08e93474eb65b4a.jpg) Date: 2012-03-21 07:53:59
| | IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.ukAdd to Reading ListSource URL: www.cse.chalmers.seDownload Document from Source Website File Size: 92,10 KBShare Document on Facebook
|