CORE

🇺🇦   make metadata, not war

    3 research outputs found

    Decidability, complexity and automated reasoning in relevant logic

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    The Australian National University

    Is logic programming real programming?

    Author
    Publication venue
    Department of Computer Science, K.U.Leuven, Leuven, Belgium
    Publication date
    Field of study
    No full text
    status: publishe
    Lirias

    Is logic programming real programming?

    Author
    Publication venue
    North Holland
    Publication date
    Field of study
    No full text
    Invitedstatus: publishe
    Lirias
    corecore