No label defined (Q3216155)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    1984
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    survey
    0 references
    historical development of automated theorem proving
    0 references
    logic approach
    0 references
    human simulation approach
    0 references
    resolution
    0 references
    connection graph
    0 references
    rewrite-rule systems
    0 references
    AURA
    0 references
    PLANNER-system
    0 references
    Markgraf Karl system
    0 references
    program verification
    0 references
    PROLOG
    0 references