Algebraické důkazové systémy
Algebraické důkazové systémy
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/21994Identifikátory
SIS: 46772
Kolekce
- Kvalifikační práce [10957]
Autor
Vedoucí práce
Oponent práce
Pudlák, Pavel
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Matematické metody informační bezpečnosti
Katedra / ústav / klinika
Katedra algebry
Datum obhajoby
1. 6. 2009
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Velmi dobře