Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
Symposium on [Lambda]-Calculus and Computer Science Theory
'
Přeskočit na obsah
cze
English
Čeština
Váš účet
Přihlásit se...
Vyhledávání v katalogu knihovny
|
Vyhledávání v e-zdrojích
Hledat
Pokročilé vyhledávání
Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
Symposium on [Lambda]-Calculus and Computer Science Theory
'
Seřadit
Relevance
Podle data sestupně
Podle data vzestupně
Signatury
Autor
Název
1
[Lambda]-Calculus and Computer Science Theory : proceedings of the symposium held in Rome, March 25-27, 1975, IAC-CNR Instituto per le Applicazioni del Calcolo "Mauro Picone" of th...
Rok: 1975
Umístění:
Načítá se...
Konferenční sborník
Kniha
Načítá se...
Vyhledávací nástroje:
RSS
Upřesnit hledání
Typ dokumentu
Kniha
1
Konferenční sborník
1
Předmětová hesla
kombinatorika
1
počítačová věda
1
programovací jazyky
1
sémantika
1
Autor
Böhm, Corrado
1
Instituto per le Applicazioni del Calcolo "Mauro Picone"
1
Symposium on [Lambda]-Calculus and Computer Science Theory
1
Jazyk
angličtina
1
Žánr
sborníky
1
Dílčí knihovna
Knihovna Žižkov depoz. 2
1
Rok vydání
Od:
do:
×
Načítá se...