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
- Rozsah:
- 264 s. ;
- Vydáno:
-
Brno :
Masarykova univerzita,
1993
- Vydání:
- 1. vyd.
- Témata:
- Popis jednotky:
- 400 výt.
Vyd. v rámci projektu Institut vyšších informatických studií
Pozn
Přehl. lit
Věcný rejstřík - Fyzický popis:
- 264 s. ; 21 cm
- ISBN:
- 80-210-0826-1
Pro zobrazení vašich knihoven je třeba se přihlásit.
Co je služba Získej EDD
Služba Získej EDD poskytuje dodávání elektronických kopií částí dokumentů z fondů knihoven.
Službu provozuje Národní technická knihovna v Praze.
Jde o placenou službu.