Discovery - University of Dundee - Online Publications

Library & Learning Centre

Lakatos-style automated theorem modification

Lakatos-style automated theorem modification

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

View graph of relations

Authors

Research units

Info

Original languageEnglish
Title of host publicationECAI 2004
Subtitle of host publication16th European Conference on Artificial Intelligence including Prestigious Applications of Intelligent Systems (PAIS 2004). Proceedings
EditorsRamon López de Mántaras, Lorenza Saitta
Place of PublicationAmsterdam
PublisherIOS Press
Pages977-978
Number of pages2
ISBN (Print)1586034529, 9781586034528
StatePublished - 2004
Event16th European Conference on Artificial Intelligence - Valencia, Spain

Publication series

NameFrontiers in artificial intelligence and applications
PublisherIOS Press
Volume110

Conference

Conference16th European Conference on Artificial Intelligence
CountrySpain
CityValencia
Period22/08/0427/08/04
Internet address

Documents

Library & Learning Centre

Contact | Accessibility | Policy