No label defined (Q4692551)

From MaRDI portal
scientific article; zbMATH DE number 194582
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 194582

    Statements

    0 references
    5 June 1993
    0 references
    0 references
    0 references
    0 references
    0 references
    clausal form logic
    0 references
    automated reasoning
    0 references
    semantic nets
    0 references
    PROLOG
    0 references