QULAIFICATIONS AND STANDARDS BOARD[removed]

First Page		Document Content
Date: 2011-01-27 07:40:04 Alan Bundy Science Chartered Ken Olisa British people FBCS BCS Sri Lanka Section Fellows of the British Computer Society United Kingdom British Computer Society		QULAIFICATIONS AND STANDARDS BOARD[removed] Add to Reading List Source URL: www.bcs.org Download Document from Source Website File Size: 21,85 KB Share Document on Facebook

	Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1 DocID: 1xU8w - View Document
	Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1 DocID: 1xTsR - View Document
	Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UK DocID: 1t0fv - View Document
	Best-First Rippling Moa Johansson, Alan Bundy, and Lucas Dixon School of Informatics, University of Edinburgh, Appleton Tower, Crichton St, Edinburgh EH8 9LE, UK {moa.johansson, a.bundy, lucas.dixon}@ed.ac.uk DocID: 1svvy - View Document
	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy DocID: 1sdVx - View Document