| ZLATUŠKA, Jiří. Lambda-kalkul. 1. vyd. Brno: Masarykova univerzita Brno, 1993, 240 s. ISBN 80-210-0826-1. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Lambda-kalkul |
| Název anglicky | Lambda-calculus |
| Autoři | ZLATUŠKA, Jiří. |
| Vydání | 1. vyd. Brno, 240 s. 1993. |
| Nakladatel | Masarykova univerzita Brno |
| Další údaje | |
|---|---|
| Originální jazyk | čeština |
| Typ výsledku | Odborná kniha |
| Obor | 10000 1. Natural Sciences |
| Stát vydavatele | Česká republika |
| Utajení | není předmětem státního či obchodního tajemství |
| Kód RIV | RIV/00216224:14330/93:00000028 |
| Organizační jednotka | Fakulta informatiky |
| ISBN | 80-210-0826-1 |
| Změnil | Změnil: prof. RNDr. Jiří Zlatuška, CSc., učo 1777. Změněno: 12. 1. 2000 23:36. |
| Návaznosti | |
|---|---|
| MSM 143300001, záměr | Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů |
| Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů | |
VytisknoutZobrazeno: 14. 5. 2024 01:44