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.
Jednotky
Nápověda
Pro vytváření rezervací/objednávek je třeba se přihlásit.
| Dostupnost | Stav | Oddělení | Sbírka | Umístění | Více informací | Poznámka | Signatura | |
|---|---|---|---|---|---|---|---|---|
|
Prezenčně
|
Načítá se…
|
MZK
|
Sklad / do 1 hodiny
|
2-1000.164 | ||||
|
Absenčně
|
Načítá se…
|
MZK
|
Sklad / do 1 hodiny
|
2-1000.164 | ||||
|
Absenčně
|
Načítá se…
|
MZK
|
Sklad / do 1 hodiny
|
2-1000.164 | ||||
|
Absenčně
|
Načítá se…
|
MZK
|
Sklad / do 24 hodin
|
TK-0255.986 |