id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_nig5aub7bvgs7j6n5ekcacnbhu	Omar Montano-Rivas	Scheme-based theorem discovery and concept invention	2012		.pdf	application/xhtml+xml	282	32	69	School Contacts to the Web Login instructions You are connecting to a School of Informatics website which requires authentication. enter your username (either DICE username, or iFriend account name) and password to continue. If are a member of staff, or a student, contact Support for details of how to access your DICE account Other users may obtain an iFriend guest account Users with iFriend guest accounts may reset their password. All other users should contact Support Need an account or password help? The School of Informatics uses the cosign single sign-on web authentication system. If you choose not to accept these you will not be able to view our authenticated web pages. If you do not wish to accept these cookies, do not complete the login process. By using this service you agree to adhere to the University of Edinburgh Computing Regulations. The University of Edinburgh	./cache/work_nig5aub7bvgs7j6n5ekcacnbhu.pdf	./txt/work_nig5aub7bvgs7j6n5ekcacnbhu.txt