Documenti analoghi: Dokazovanie viet počítačom /
Autore: Kotúčová, Jana
Autore: Molnár, Ľudovít, 1940-
- Príspevok k automatickej syntéze programov : Kand.diz.práca : Obh. 11.12.1985 /
- Počítače a programovanie : Programovanie v jazyku PASCAL /
- K heuristickému hľadaniu riešenia ako problému hľadania cesty : Obh.10.9.1973
- Automatická syntéza programov a metodológia programovania : Kand.diz.práca : V.odb. 26-15-9 : Obh. 08.12.1983 /
- Tvorba programov na báze znalostí : Dokt.diz.práca : V.odb. 26-17-9 /
- Príspevok k heuristickému hľadaniu riešenia : Habil.práca : Obh. 15.02.1977 /