\(\Pi\)-representation: A clause representation for parallel search (Q1216192)

From MaRDI portal





scientific article; zbMATH DE number 3474985
Language Label Description Also known as
English
\(\Pi\)-representation: A clause representation for parallel search
scientific article; zbMATH DE number 3474985

    Statements

    Identifiers