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	Meta Content
	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 Document Date: 2010-05-28 10:14:09 Open Document File Size: 392,56 KB Share Result on Facebook

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 List