First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 392,56 KBShare Document on Facebook |