Discovery - University of Dundee - Online Publications

Library & Learning Centre

Automatic conjecture modification

Automatic conjecture modification

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 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice
Number of pages2
StatePublished - 2004
Event11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice - Leeds, United Kingdom

Workshop

Workshop11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice
Abbreviated titleARW 2004
CountryUnited Kingdom
CityLeeds
Period31/03/041/04/04
Internet address

Documents

Library & Learning Centre

Contact | Accessibility | Policy