![](https://www.pdfsearch.io/img/21ac5faa6bd39223be047e125648ccdd.jpg) Date: 2010-05-28 10:14:09
| | Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan BundyAdd to Reading ListSource URL: dream.inf.ed.ac.ukDownload Document from Source Website File Size: 392,56 KBShare Document on Facebook
|