Implementing an instantiation-based theorem prover for first-order logic

Konstantin Korovin

    Research output: Contribution to conferenceOther

    Conference

    Conference6th International Workshop on the Implementation of Logics, IWIL 2006 - Held at the 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
    CityPhnom Penh
    Period1/07/06 → …

    Cite this