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
|
Text (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)
SZTAKITanulmanyok_102.pdf Download (15MB) | Preview |
| Item Type: | Book |
|---|---|
| Additional Information: | ISSN: 0324-2951 |
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás |
| Depositing User: | xPéter xKolozsi |
| Date Deposited: | 31 Aug 2015 07:47 |
| Last Modified: | 31 Aug 2015 07:47 |
| URI: | http://real-eod.mtak.hu/id/eprint/2008 |
Actions (login required)
 |
Edit Item |
