Simulating Parity Reasoning

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    1 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Otsikko19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013
    Sivut568-583
    ISBN (elektroninen)978-3-642-45221-5
    DOI - pysyväislinkit
    TilaJulkaistu - 2013
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Julkaisusarja

    NimiLecture Notes in Computer Science
    Vuosikerta8312

    Siteeraa tätä