Chcete-li získat tento dokument, vstupte
přímo do katalogu.
If you want to get more information about the document, enter the
online catalog.
Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000041528
Navigace: https://aleph.vkol.cz/pub / svk01 / 00004xxxx / 0000415xx / 000041528.htm
Chcete-li získat tento dokument, vstupte přímo do katalogu.
If you want to get more information about the document, enter the online catalog.
| Číslo nár.bibliogr. | 80-210-0826-1 (brož) : bc |
| 080 | 164 |
| 080 | 510.6 |
| 080 | 517.5 |
| 080 | 519.6 |
| 080 | 519.673:517.5:164.03:510.66 |
| Všeob.údaje zprac. | Zlatuška, Jiří, 1957- |
| 24510 | Lambda-kalkul |
| 250 | 1.vyd |
| 260 | Brno : Masarykova univerzita, 1993 |
| Obecné poznámky | 264 s |
| Unifikovaný název | Bibliogr. s. 257-260 |
| 6530 | lambda-výpočet logická matematika matematické funkce |
| Sigla,sign.vlastn. | OLA001 588.707 |
| Předmět.hesla-řež. | Lambda-výpočet funkce matematické logika matematická |
| Předmět.hesla-řež. | Logika matematická funkce matematické lambda-výpočet |
| EXE | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.