Dr. Pásztorné Varga Katalin: Rekurzív eljárás - Boole-függvénvrendszerek nemredundáns diszjunktiv normálformáit előállító, idő- és memóriaigény szempontjából optimális algoritmus (SZTAKI Tanulmányok 102/1980)

Next