Defining answer classes using resolution refutation (Q881832)

From MaRDI portal
Revision as of 15:48, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Defining answer classes using resolution refutation
scientific article

    Statements

    title
    Defining answer classes using resolution refutation (English)
    0 references
    author
    Debra T. Burhans
    0 references
    Stuart C. Shapiro
    0 references
    publication date
    18 May 2007
    0 references
    zbMATH Keywords
    resolution
    0 references
    automated deduction
    0 references

    Identifiers

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