Combined reasoning by automated cooperation (Q946572)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Combined reasoning by automated cooperation
scientific article

    Statements

    Combined reasoning by automated cooperation (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    23 September 2008
    0 references
    automated reasoning
    0 references
    system integration
    0 references
    agent architecture
    0 references
    higher-order and first-order proving
    0 references
    computer algebra
    0 references
    model generators
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers