Discovery - University of Dundee - Online Publications

Library & Learning Centre

Lakatos-style reasoning

Lakatos-style reasoning

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

View graph of relations

Authors

Research units

Info

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
StatePublished - 2002
Event9th workshop on Automated Reasoning - London, United Kingdom

Conference

Conference9th workshop on Automated Reasoning
CountryUnited Kingdom
CityLondon
Period3/04/024/04/02
Internet address

Documents

Library & Learning Centre

Contact | Accessibility | Policy