Index of /academic/


../
0207-program-generation.pdf                        18-Jul-2008 10:22              247628
0208real_physical.pdf                              18-Jul-2008 10:22              356511
0348_diagrams_experiment.pdf                       18-Jul-2008 10:23              116748
abstracts.src.htm                                  19-Feb-2009 09:59               11139
dan_winterstein.eps.ps                             18-Jul-2008 10:19             3088384
dr-doodle-a-diagrammatic-thm-prover-ijcar.pdf      18-Jul-2008 10:17              137270
funnyLogic_paper.pdf                               03-Apr-2008 18:28               94529
humour_talk_notes.pdf                              23-Jul-2005 12:31              114877
humour_talk_slides.odt                             23-Jul-2005 12:32               19502
humour_talk_slides.pdf                             23-Jul-2005 12:31              125299
pease01evaluating-creativity.pdf                   18-Jul-2008 10:20              153452
proof-general.pdf                                  18-Jul-2008 10:25              211319
winterstein_thesis.pdf                             18-Jul-2008 10:27             7546842