Knowledge-based proof planning (Q1978469)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Knowledge-based proof planning
scientific article

    Statements

    Knowledge-based proof planning (English)
    0 references
    0 references
    0 references
    4 June 2000
    0 references
    0 references
    theorem proving
    0 references
    planning
    0 references
    automated proof planning
    0 references
    meta-level reasoning
    0 references
    integrating constraint solvers
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references