//*********************************************************************************** // Určovanie iredundantnej DNF prostredníctvom Petrikovej metódy // Diplomová práca, Katedra počítačov a informatiky FEI TU Košice // AUTOR : Tibor Pulen // VEDÚCI DP : Doc. Ing. Ján Bača Csc // KONZULTANTI : Ing. Peter Václavík, doc.Ing.Ján Bača CSc. // apríl 2001 // súbor index.php : hlavný súbor //*********************************************************************************** ?>