Přeskočit na obsah
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Ve čtvrtek 8. 1. 2026 od 21:00 do 22:00 dojde k plánované technické odstávce knihovního katalogu. Jako nouzové řešení lze použít starý katalog na adrese http://aleph.muni.cz
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Filtr e-prezenčka
Lambda-kalkul /
Popis
Citace.com
×
Citace.com
Poslat emailem
Exportovat záznam
Exportovat do RefWorks
Exportovat do EndNoteWeb
Exportovat do EndNote
Exportovat do MARC
Exportovat do MARCXML
Exportovat do RDF
Exportovat do BibTeX
Exportovat do RIS
Do oblíbených
Lambda-kalkul /
Uloženo v:
Podrobná bibliografie
Hlavní autor:
Zlatuška, Jiří, 1957-
(Autor)
Typ dokumentu:
Kniha
Jazyk:
Čeština
Vydáno:
Brno :
Masarykova univerzita,
1993
Vydání:
Vyd. 1.
Témata:
lambda kalkul
matematická kybernetika
počítačová věda
lambda calculus
computer science
mathematical cybernetics
monografie
monographs
Přejít na ObalkyKnih.cz
Jednotky
Popis
MARC21
Popis
Fyzický popis:
264 s.
Bibliografie:
Obsahuje bibliografii a rejstřík
ISBN:
80-210-0826-1
Podobné jednotky
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95 : Edinburgh, United Kingdom, April 10-12, 1995 : proceedings /
Vydáno: (1995)
Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings /
Vydáno: (2001)
The lambda calculus, its syntax and semantics /
Autor: Barendregt, Henk 1947-
Vydáno: (2012)
Domains and lambda-calculi /
Autor: Amadio, Roberto M., a další
Vydáno: (1998)
Some combinatorial and algorithmic problems in many-valued logics /
Autor: Stojmenović, Ivan, 1957-
Vydáno: (1987)
×
Načítá se...