Instantiation-Based Reasoning for First-Order Logic

K. Korovin

    Research output: Contribution to conference › Other

    Original languageEnglish
    Publication statusPublished - Apr 2009
    EventAutomated Reasoning Workshop - University of Liverpool, Liverpool, United Kingdom
    Duration: 21 Apr 2009 → 22 Apr 2009

    Conference

    ConferenceAutomated Reasoning Workshop
    Country/TerritoryUnited Kingdom
    CityLiverpool
    Period21/04/09 → 22/04/09

    Cite this