Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
19.6% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Isomorphisms of Types: from λ-calculus to information retrieval and language design
Birkhäuser Basel
Roberto Di Cosmo (auth.)
isomorphisms
calculus
variables
reduction
isomorphic
function
lemma
invertible
programming
typed
equality
induction
gentop
isomorphism
split
theorem
confluence
product
proposition
coordinates
systems
prove
step
completeness
inference
forms
functions
th2xt
axioms
normalization
equal
thml
axiom
search
swap
strongly
canonical
n.f
reducibility
substitution
algorithm
allows
f.h.p
calculi
library
matching
occurrence
reductions
renaming
otherwise
Рік:
1995
Мова:
english
Файл:
DJVU, 1.78 MB
Ваші теги:
0
/
0
english, 1995
2
传热学
北京:高等教育出版社
俞佐平著
keal
chml
wes
bes
btu
arr
bie
thml
dak
eea
gue
iit
ray
Рік:
1985
Мова:
chinese
Файл:
PDF, 27.02 MB
Ваші теги:
0
/
0
chinese, 1985
3
О соотношении между психическими состояниями, кровообращением и дыханием
Гиршберг Н.
bpemh
mosso
4to
yto
cocy
iph
otl
psychiatrie
1bca
wolff
mosra
pulsus
tardus
ueber
bpems
cep
kotopoe
kpobh
othochteilho
wolff’a
allgem
cepa
iiph
iy.ibca
mendel
mo3ra
ohako
uto
zeitschr
ziehen
bpema
dopma
emy
ha6
jake
kakl
leipzig
oth
thml
1lca
bcero
geisteskranken
h3m
hmehho
onl
takike
toalko
toilko
topo
w3m
Мова:
russian
Файл:
PDF, 43.21 MB
Ваші теги:
0
/
0
russian
4
传热学
北京:人民教育出版社
俞佐平编
bes
rea
chml
keal
abr
btu
spa
arr
fea
bie
hra
kcal
rra
rrr
sra
srr
www
brr
chm
esl
fab
hbr
mre
thml
tore
tpe
Рік:
1979
Мова:
chinese
Файл:
PDF, 9.28 MB
Ваші теги:
0
/
0
chinese, 1979
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×