| ZLATUŠKA, Jiří. Lambda-kalkul (Lambda-calculus). 1st ed. Brno: Masarykova univerzita Brno, 1993, 240 pp. ISBN 80-210-0826-1. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Lambda-kalkul |
| Name (in English) | Lambda-calculus |
| Authors | ZLATUŠKA, Jiří. |
| Edition | 1. vyd. Brno, 240 pp. 1993. |
| Publisher | Masarykova univerzita Brno |
| Other information | |
|---|---|
| Original language | Czech |
| Type of outcome | Book on a specialized topic |
| Field of Study | 10000 1. Natural Sciences |
| Country of publisher | Czech Republic |
| Confidentiality degree | is not subject to a state or trade secret |
| RIV identification code | RIV/00216224:14330/93:00000028 |
| Organization unit | Faculty of Informatics |
| ISBN | 80-210-0826-1 |
| Changed by | Changed by: prof. RNDr. Jiří Zlatuška, CSc., učo 1777. Changed: 12/1/2000 23:36. |
| Links | |
|---|---|
| MSM 143300001, plan (intention) | Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů |
| Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing | |
PrintDisplayed: 25/4/2024 10:36