Clause trees: A tool for understanding and implementing resolution in automated reasoning (Q1402732)

From MaRDI portal
Revision as of 17:00, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Clause trees: A tool for understanding and implementing resolution in automated reasoning
scientific article

    Statements

    Clause trees: A tool for understanding and implementing resolution in automated reasoning (English)
    0 references
    0 references
    0 references
    28 August 2003
    0 references
    0 references
    Automated theorem proving
    0 references
    Redundancy
    0 references
    Minimality
    0 references
    Proof procedures
    0 references