Lambda-kalkul
Základy čistého i typovaného lambda-kalkulu, kombinatorické logiky a konstrukce odpovídajících matematických modelů.
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Typ dokumentu
- Knihy
- Fyzický popis
- 264 s.
- Vydáno
-
Brno :
Masarykova univerzita,
1993
- Vydání
- 1. vyd.
- Témata
- Popis jednotky
- Bibliogr. s. 257-260
- ISBN
- 80-210-0826-1
- Navrhnout k digitalizaci
- Navrhnout k digitalizaci
Instituce:
Moravská zemská knihovna v Brně
Informace o knihovně
Záznam není součástí řezu, pro plné zobrazení přejděte do hlavního portálu Knihovny.cz.
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 000005570 | ||
| 003 | CZ BrMZK | ||
| 005 | 20211126102758.0 | ||
| 007 | ta | ||
| 008 | 940622s1993 xr f cze d | ||
| 015 | |a cnb000084994 | ||
| 020 | |a 80-210-0826-1 |c 50.00 | ||
| 040 | |a BOA001 |b cze | ||
| 080 | |a 519.766.23 |2 MRF | ||
| 100 | 1 | |a Zlatuška, Jiří, |d 1957- |7 jn20000402753 |4 aut | |
| 245 | 1 | 0 | |a Lambda-kalkul |
| 250 | |a 1. vyd. | ||
| 260 | |a Brno : |b Masarykova univerzita, |c 1993 | ||
| 300 | |a 264 s. | ||
| 500 | |a Bibliogr. s. 257-260 | ||
| 653 | 0 | |a lambda-kalkul | |
| 910 | |a BOA001 |b 2-1000.164 |b TK-0255.986 | ||
| 962 | |a 519.7 | ||
| 964 | |a Lambda-kalkul | ||
| 990 | |a BK | ||
| 996 | 6 | |b 2610032302 |c 2-1000.164 |l MZK |r Sklad / do 1 hodiny |n 6 |p kup |w 000005570 |u 000020 |a 1 |e BOA001 |j MZK50 |s P |t BOA001.MZK01000005570.MZK50000005570000020 | |
| 996 | 7 | |b 2610032303 |c 2-1000.164 |l MZK |r Sklad / do 1 hodiny |n 33 |p kup |w 000005570 |u 000030 |a 1 |e BOA001 |j MZK50 |s A |t BOA001.MZK01000005570.MZK50000005570000030 | |
| 996 | 7 | |b 2610032304 |c 2-1000.164 |l MZK |r Sklad / do 1 hodiny |n 23 |p kup |w 000005570 |u 000040 |a 1 |e BOA001 |j MZK50 |s A |t BOA001.MZK01000005570.MZK50000005570000040 | |
| 996 | 7 | |b 2629980902 |c TK-0255.986 |l MZK |r Sklad / do 24 hodin |n 13 |w 000005570 |u 000050 |a 1 |e BOA001 |j MZK50 |s A |t BOA001.MZK01000005570.MZK50000005570000050 | |