Výsledky vyhľadávania
- Dokazovanie viet počítačom / aut. Jana Kotúčová ; škol. Ľudovít Molnár
Kotúčová Jana Molnár Ľudovít (škol.)
1983 Bratislava : Slovenská vysoká škola technická . - 44 s.
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 1 0 0 - Použitie Markovovho normálneho algoritmu a formálna manipulácia so symbolmi / aut. Pavol Návrat ; škol. Ľudovít Molnár
Návrat Pavol ; 070200 Molnár Ľudovít (škol.)
1975, Bratislava : Slovenská vysoká škola technická . - 59 s.
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 1 0 0