İanələr 15 sentyabr 2024 – 1 oktyabr 2024
Vəsaitlərin toplanılması haqqında
kitab axtarışı
kitablar
İanələr:
66.3% olunub
Giriş
Giriş
Avtorizasiyadan keçmiş istifadəçilər üçün aşağıdakılar mövcuddur:
fərdi tövsiyələr
Telegram botu
yükləmə tarixçəsi
Email-a və ya Kindle-a göndərmək
seçimin idarə edilməsi
seçilmişlərə əlavə edilməsi
Şəxsi
Kitab sorğuları
Öyrənməsi
Z-Recommend
Kitab siyahısı
Ən məşhurları
Kateqoriyalar
İştirak
Dəstək ol
Yükləmələr
Litera Library
Kağız kitabları iadə edin
Kağız kitabları əlavə edin
Search paper books
Mənim LITERA Point'um
Açar sözlərin axtarışı
Main
Açar sözlərin axtarışı
search
1
Law and Order in Algorithmics [PhD thesis]
Universiteit Twente
Maarten M. Fokkinga
ϕ
category
functor
initial
morphism
algebras
morphisms
equation
charn
transformer
function
theorem
define
arbitrary
exl
notation
zero
categories
exr
functors
defined
inr
lists
split
unique
initiality
fusion
equations
product
functions
inl
categorical
solution
succ
target
induced
exists
sumtype
cpo
fixed
programming
abide
calculation
composition
congruence
typing
carrier
datatype
induction
transformers
İl:
1992
Dil:
english
Fayl:
PDF, 831 KB
Sizin teqləriniz:
0
/
0
english, 1992
1
bu linkə
keçid edin və ya Telegramda "@BotFather" botunu axtarın
2
/newbot komandanı göndərin
3
Botunuzun adını qeyd edin
4
Bot üçün istifadəçi adını qeyd edin
5
BotFather-dən gələn son mesajını kopyalayıb bura daxil edin
×
×