Equational Proofs in Tableaux and Logic Programming. [Review of the book Equational Proofs in Tableaux and Logic Programming, E.A. De Kogel, 1995]

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Original languageDutch
    Pages (from-to)44-45
    JournalNVKI-Nieuwsbrief
    Volume12 (2)
    Publication statusPublished - 1995

    Projects

    Common Knowledge and the Foundations of Social Sciences

    de Swart, H.

    1/01/9431/12/04

    Project: Research project

    Cite this