First-order \(jk\)-clausal theories are PAC-learnable (Q1342231)

From MaRDI portal





scientific article; zbMATH DE number 710226
Language Label Description Also known as
English
First-order \(jk\)-clausal theories are PAC-learnable
scientific article; zbMATH DE number 710226

    Statements

    Identifiers