Wszystkie pola: Lambda prace

Skocz do pozycji: 1.

Tytuł:: Asymptotyczne własności rachunku lambda i logiki kombinatorycznej
Asymptotic properties of lambda calculus and combinatory logic
Autorzy:: Grygiel, Katarzyna
Współwytwórcy:: Zaionc, Marek
Data publikacji:: 2013-05-23
Słowa kluczowe:: combinatory logic
rachunek lambda
lambda calculus
gęstość
asymptotic investigations in logic
density
badania asymptotyczne w logikach
logika kombinatoryczna; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Quantitative aspects and generation of random lambda and combinatory logic terms
Ilościowe aspekty oraz generowanie losowych termów rachunku lambda oraz termów rachunku kombinatorów
Autorzy:: Bendkowski, Maciej
Współwytwórcy:: Zaionc, Marek
Data publikacji:: 2017-11-27
Słowa kluczowe:: rachunek kombinatorów
combinatorics
combinatory logic
analytic combinatorics
kombinatoryka analityczna
lambda calculus
kombinatoryka
rachunek lambda; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Self-supporting straw tube detectors for the COSY-TOF and PANDA experiments
Samopodtrzymujące detektory słomkowe do eksperymentu COSY-TOF i PANDA
Autorzy:: Jowzaee, Sedigheh
Współwytwórcy:: Smyrski, Jerzy
Data publikacji:: 2014-12-09
Słowa kluczowe:: czas nad progiem
COSY-TOF
straw tube detector
hiperon \lambda
\lambda-hyperon
detektor słomkowy
PANDA
time over threshold; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Informacja