Tableaux Based Theorem Proving; Integrity Maintenance; Plausible Reasoning

    Research output: Contribution to journalArticleScientific

    Original languageEnglish
    Pages (from-to)99-100
    Number of pages2
    JournalNewsletter of the European network in computational logic
    Volume2
    Issue number1
    Publication statusPublished - 1995

    Cite this