Formal semantics of meta-level architectures: Dynamic control of reasoning (Q4785088)

From MaRDI portal
scientific article; zbMATH DE number 1847069
Language Label Description Also known as
English
Formal semantics of meta-level architectures: Dynamic control of reasoning
scientific article; zbMATH DE number 1847069

    Statements

    Formal semantics of meta-level architectures: Dynamic control of reasoning (English)
    0 references
    0 references
    17 December 2002
    0 references
    meta-level architectures
    0 references
    dynamic control of reasoning processes
    0 references

    Identifiers