, Henristic algorithms formal approach based on compact knowledge-based model., Dyduch, Ewa Dudek, 13 págs., Nivel analítico, trimestral

, Discrete determinable Processes-Compact Knowledge-Bases model.Discrete deterministic controlled Processes-Algebraic logical model., Dyduch, Ewa Dudek, 14 págs., Nivel analítico, semestral