Invertible bidirectional metalogical translation between Prolog and RuleML for knowledge representation and querying (Q1995448)

From MaRDI portal





scientific article; zbMATH DE number 7314588
Language Label Description Also known as
default for all languages
No label defined
    English
    Invertible bidirectional metalogical translation between Prolog and RuleML for knowledge representation and querying
    scientific article; zbMATH DE number 7314588

      Statements

      Identifiers