Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), 3rd International Joint Conference on Automated Reasoning

G. Sutcliffe, R. Schmidt, S. Schulz

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

    Original languageEnglish
    Title of host publicationhost publication
    PublisherRWTH Aachen University
    Volume192
    Publication statusPublished - 2006
    EventFLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR) - Seattle, USA
    Duration: 22 Aug 200622 Aug 2006

    Conference

    ConferenceFLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR)
    CitySeattle, USA
    Period22/08/0622/08/06

    Cite this