A Paraconsistent Higher Order Logic

Jørgen Villadsen

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    OriginalsprogEngelsk
    TitelArtificial Intelligence and Symbolic Computation : AISC 2004. Proceedings
    RedaktørerB. Buchberger, J. A. Campbell
    ForlagKluwer Academic Publishers
    Publikationsdato2004
    Sider38-51
    ISBN (Trykt)3-540-23212-5
    StatusUdgivet - 2004
    NavnLecture Notes in Computer Science
    Vol/bind3249
    ISSN0302-9743

    Citer dette

    Villadsen, J. (2004). A Paraconsistent Higher Order Logic. I B. Buchberger, & J. A. Campbell (red.), Artificial Intelligence and Symbolic Computation: AISC 2004. Proceedings (s. 38-51). Kluwer Academic Publishers. Lecture Notes in Computer Science, Bind. 3249 http://www.springeronline.com/3-540-23212-5