Browsing by Author "Burczyk, Katarzyna"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item type:Thesis, Access status: Restricted , An automaton-based approach to chosen systems of temporal logic - theory and application(Data obrony: 2019-09-12) Burczyk, Katarzyna
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii BiomedycznejItem type:Thesis, Access status: Restricted , System losowego generowania formuł logicznych(Data obrony: 2018-01-17) Burczyk, Katarzyna
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej