  |
Items where Author is "Pásztorné Varga, Katalin"
Group by: Item Type | No Grouping Number of items: 4. Pásztorné Varga, Katalin (1980) Rekurzív eljárás : Boole-függvényrendszerek nemredundáns diszjunktiv normálformáit előállító, idő- és memóriaigény szempontjából optimális algoritmus. Tanulmányok (MTA SZTAKI) (102). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-100-5 Matavovszky, Tibor and Pásztorné Varga, Katalin (1979) Boole-függvény kezelő rendszer. Tanulmányok (MTA SZTAKI) (97). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-089-0 Matavovszky, Tibor and Pásztorné Varga, Katalin (1975) Programrendszer Boole-függvényrendszer együttes egyszerűsítésére vagy minimalizálására. Tanulmányok (MTA SZTAKI) (43). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-011-4 Pásztorné Varga, Katalin (1973) Módszerek boole-függvények minimális vagy nem redundáns, {^,\nu ,¬} {N0R} vagy {nand} bázisbeli, zárójeles vagy zárójel nélküli formuláinak előállítása : Tézisek. Tanulmányok (MTA SZTAKI) (1). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. |
