Search results
- Dokazovanie viet počítačom / aut. Jana Kotúčová ; škol. Ľudovít Molnár
Kotúčová Jana Molnár Ľudovít (Thesis advisor)
1983 Bratislava : Slovenská vysoká škola technická . - 44 s.
diplomová prácaFaculty Available Inaccesible Issued For Request Only FIIT 0 1 0 0 
book
- 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 (Thesis advisor)
1975, Bratislava : Slovenská vysoká škola technická . - 59 s.
diplomová prácaFaculty Available Inaccesible Issued For Request Only FIIT 0 1 0 0 book