Proof systems for nonmonotonic logics

Ilkka Niemelä, Camilla Schwind

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientific

    AlkuperäiskieliEnglanti
    Otsikko12th International Conference on Automated Deduction, Nancy, France, June 28 - July 1, 1994
    AlaotsikkoLecture notes for a tutorial
    Sivumäärä44
    TilaJulkaistu - 1994
    OKM-julkaisutyyppiB3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

    Siteeraa tätä