Přeskočit na obsah
CAVAL Home
Start Over
Váš účet
Odhlásit
Přihlásit
Jazyk
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Vše
Název
Autor
Téma
ISBN/ISSN
Čárový kód
Hledat
Pokročilé
Vyhledávání
Lambda calculus and computer s...
Vytvořit citaci
Zaslat SMS
Poslat e-mailem
Vytisknout
Exportovat záznam
Exportovat do RefWorks
Exportovat do EndNoteWeb
Exportovat do EndNote
Přidat do oblíbených
Trvalý odkaz
Lambda calculus and computer science theory.
Uloženo v:
Podrobná bibliografie
Médium:
Kniha
Jazyk:
English
Vydáno:
[Japan :
s.n.],
1984.
Témata:
Combinatory logic.
Programming languages (Electronic computers)
Jednotky
Popis
UNIMARC/MARC
CARM 1 Store
Informace o exemplářích z: CARM 1 Store
Signatura:
A3:AF12F0 C12375
Jednotka 1
Dostupné
Požadavek
Podobné jednotky
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
Vydáno: (1975)
Recursive programming techniques /
Autor: Burge, William H.
Vydáno: (1975)
Combinatory logic
Autor: Curry, Haskell B. (Haskell Brooks), 1900-
Vydáno: (1958)
Combinators, -terms and proof theory.
Autor: Stenlund, Soren
Vydáno: (1972)
Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings /
Vydáno: (1986)