İanələr 15 sentyabr 2024 – 1 oktyabr 2024
Vəsaitlərin toplanılması haqqında
kitab axtarışı
kitablar
İanələr:
69.2% 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
Theorie der logischen Programmierung: Eine elementare Einführung
Springer-Verlag Berlin Heidelberg
Prof. Dr. Peter H. Schmitt (auth.)
gilt
flir
menge
prolog
aile
beweissuchbaum
satz
beweis
formeln
formel
tiber
folgt
fiir
pfad
unifikator
1st
lemma
jedes
struktur
substitution
modell
wobei
gdw
variablen
herbrand
klauseln
klausel
aufgabe
zeigen
situationen
nieht
vokabular
wahr
existiert
kante
beispiel
erfolgreichen
heibt
strukturen
besitzt
element
folge
hornklauseln
knoten
somit
erfolglos
allgemeine
mub
allgemeinen
programming
İl:
1992
Dil:
german
Fayl:
PDF, 5.47 MB
Sizin teqləriniz:
0
/
0
german, 1992
2
Kategorien und Topostheorie 001
Dil:
german
Fayl:
PDF, 336 KB
Sizin teqləriniz:
0
/
0
german
3
Einführung in die Kategorientheorie
Christian Dzierzon
İl:
2004
Dil:
german
Fayl:
PDF, 706 KB
Sizin teqləriniz:
0
/
0
german, 2004
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
×
×