Lakatos-style reasoning

Alison Pease, Simon Colton, Alan Smaill, John Lee

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Original languageEnglish
    Title of host publicationProceedings of the Automated Reasoning Workshop, Imperial College, London
    Place of PublicationLondon
    PublisherSociety for the Study of Artificial Intelligence and Simulation of Behaviour
    ISBN (Print)1902956265
    Publication statusPublished - 2002
    Event9th workshop on Automated Reasoning - Imperial College, London, United Kingdom
    Duration: 3 Apr 20024 Apr 2002


    Conference9th workshop on Automated Reasoning
    Country/TerritoryUnited Kingdom
    Internet address

    Cite this