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

    @article{09c753581129443990f12990e1691279,
    title = "Tableaux Based Theorem Proving; Integrity Maintenance; Plausible Reasoning",
    author = "{de Swart}, H.C.M.",
    note = "Pagination: 2",
    year = "1995",
    language = "English",
    volume = "2",
    pages = "99--100",
    journal = "Newsletter of the European network in computational logic",
    issn = "1024-8773",
    number = "1",

    }

    Tableaux Based Theorem Proving; Integrity Maintenance; Plausible Reasoning. / de Swart, H.C.M.

    In: Newsletter of the European network in computational logic, Vol. 2, No. 1, 1995, p. 99-100.

    Research output: Contribution to journalArticleScientific

    TY - JOUR

    T1 - Tableaux Based Theorem Proving; Integrity Maintenance; Plausible Reasoning

    AU - de Swart, H.C.M.

    N1 - Pagination: 2

    PY - 1995

    Y1 - 1995

    M3 - Article

    VL - 2

    SP - 99

    EP - 100

    JO - Newsletter of the European network in computational logic

    JF - Newsletter of the European network in computational logic

    SN - 1024-8773

    IS - 1

    ER -