Index of /academic/


../
0207-program-generation.pdf                        12-Nov-2019 08:44              247628
0208real_physical.pdf                              12-Nov-2019 08:44              356511
0348_diagrams_experiment.pdf                       12-Nov-2019 08:44              116748
abstracts.src.htm                                  12-Nov-2019 08:44               11139
dan_winterstein.eps.ps                             12-Nov-2019 08:44             3088384
dr-doodle-a-diagrammatic-thm-prover-ijcar.pdf      12-Nov-2019 08:44              137270
funnyLogic_paper.pdf                               12-Nov-2019 08:44               94529
humour_talk_notes.pdf                              12-Nov-2019 08:44              114877
humour_talk_slides.odt                             12-Nov-2019 08:44               19502
humour_talk_slides.pdf                             12-Nov-2019 08:44              125299
hybrid_bayesian.pdf                                12-Nov-2019 08:44              333701
pease01evaluating-creativity.pdf                   12-Nov-2019 08:44              153452
proof-general.pdf                                  12-Nov-2019 08:44              211319
winterstein_thesis.pdf                             12-Nov-2019 08:44             7546842