Book review: Graph-based proof procedures for horn clauses

    Research output: Contribution to journalBook/Film/Article reviewPopular

    Original languageUndefined
    Pages (from-to)137-138
    JournalMededelingen van het Wiskundig Genootschap
    Volume1994
    Publication statusPublished - 26 Jan 1994

    Keywords

    • METIS-122855

    Cite this