Index of /academic/


../
0207-program-generation.pdf                        06-Jan-2017 14:15              247628
0208real_physical.pdf                              06-Jan-2017 14:15              356511
0348_diagrams_experiment.pdf                       06-Jan-2017 14:15              116748
abstracts.src.htm                                  06-Jan-2017 14:15               11139
dan_winterstein.eps.ps                             06-Jan-2017 14:15             3088384
dr-doodle-a-diagrammatic-thm-prover-ijcar.pdf      06-Jan-2017 14:15              137270
funnyLogic_paper.pdf                               06-Jan-2017 14:15               94529
humour_talk_notes.pdf                              06-Jan-2017 14:15              114877
humour_talk_slides.odt                             06-Jan-2017 14:15               19502
humour_talk_slides.pdf                             06-Jan-2017 14:15              125299
pease01evaluating-creativity.pdf                   06-Jan-2017 14:15              153452
proof-general.pdf                                  06-Jan-2017 14:15              211319
winterstein_thesis.pdf                             06-Jan-2017 14:15             7546842