Discovery - University of Dundee - Online Publications

Library & Learning Centre

Machine learning case splits for theorem proving

Machine learning case splits for theorem proving

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
Number of pages2
StatePublished - 2005
Event12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice - Edinburgh, United Kingdom

Workshop

Workshop12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
CountryUnited Kingdom
CityEdinburgh
Period29/07/0530/07/05
Internet address

Documents

Library & Learning Centre

Contact | Accessibility | Policy