Index of /academic/

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