Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy - Inductive reasoning - Document - PDFSEARCH.IO

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 Bundy Add to Reading List Source URL: dream.inf.ed.ac.uk Download Document from Source Website File Size: 392,56 KB Share Document on Facebook