Regulated Formal Models and Their Reduction
Regulated Formal Models and Their Reduction
rigorózní práce (UZNÁNO)
![Náhled dokumentu](/bitstream/handle/20.500.11956/14256/thumbnail.png?sequence=5&isAllowed=y)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/14256Identifikátory
SIS: 64410
Kolekce
- Kvalifikační práce [10924]
Autor
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Teoretická informatika
Katedra / ústav / klinika
Katedra teoretické informatiky a matematické logiky
Datum obhajoby
18. 8. 2008
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Uznáno