Embedding Boolean expressions into logic programming (Q1100935)

From MaRDI portal
Revision as of 01:41, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Embedding Boolean expressions into logic programming
scientific article

    Statements

    title
    Embedding Boolean expressions into logic programming (English)
    0 references
    author
    Wolfram Buettner
    0 references
    Helmut Simonis
    0 references
    publication date
    1987
    0 references
    zbMATH Keywords
    unification theory
    0 references
    Boolean expressions
    0 references
    most general unifier
    0 references
    logic programming
    0 references
    PROLOG
    0 references

    Identifiers

    zbMATH DE Number
    4045232
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1100935&oldid=13137540"
    Powered by MediaWiki