Multilevel descriptions of classes decreasing the number of steps in solving pattern recognition problems described by propositional formulas

From MaRDI portal