Učenie redukčnej analýzy zachovávajúcej správnost´
| Název práce v češtině: | Učenie redukčnej analýzy zachovávajúcej správnost´ |
|---|---|
| Název v anglickém jazyce: | Learning of correctness preserving analysis by reduction |
| Akademický rok vypsání: | 2001/2002 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | čeština |
| Ústav: | Katedra softwaru a výuky informatiky (32-KSVI) |
| Vedoucí / školitel: | RNDr. František Mráz, CSc. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 13.11.2001 |
| Datum zadání: | 13.11.2001 |
| Datum a čas obhajoby: | 28.05.2003 00:00 |
| Datum odevzdání elektronické podoby: | 28.05.2003 |
| Datum odevzdání tištěné podoby: | 28.05.2003 |
| Datum proběhlé obhajoby: | 28.05.2003 |