Index of /academic

	Name	Last modified	Size	Description
	Parent Directory		-
	0207-program-generation.pdf	18-Jul-2008 10:22	242K
	0208real_physical.pdf	18-Jul-2008 10:22	348K
	0348_diagrams_experiment.pdf	18-Jul-2008 10:23	114K
	abstracts.src.htm	19-Feb-2009 09:59	11K
	dan_winterstein.eps.ps	18-Jul-2008 10:19	2.9M
	dr-doodle-a-diagrammatic-thm-prover-ijcar.pdf	18-Jul-2008 10:17	134K
	funnyLogic_paper.pdf	03-Apr-2008 18:28	92K
	humour_talk_notes.pdf	23-Jul-2005 12:31	112K
	humour_talk_slides.odt	23-Jul-2005 12:32	19K
	humour_talk_slides.pdf	23-Jul-2005 12:31	122K
	pease01evaluating-creativity.pdf	18-Jul-2008 10:20	150K
	proof-general.pdf	18-Jul-2008 10:25	206K
	winterstein_thesis.pdf	18-Jul-2008 10:27	7.2M