Сбор средств 15 Сентября 2024 – 1 Октября 2024
О сборе средств
поиск книг
книги
Сбор средств:
17.6% достигнуто
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Открыть LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Basic Simple Type Theory
Cambridge University Press
J Roger Hindley
deduction
algorithm
typed
variables
theorem
lemma
reduction
defined
occurrence
curry
deductions
depth
typable
calculus
occurrences
m:x
define
finite
distinct
substitution
contains
inhabitants
x:a
notation
formula
proofs
redex
induction
logics
step
component
completeness
counting
subject
prove
sets
unification
vars
search
axiom
condensed
atom
conclusion
infinite
apply
choose
untyped
components
bck
composite
Год:
1997
Язык:
english
Файл:
DJVU, 1.24 MB
Ваши теги:
0
/
0
english, 1997
2
Справочник по HTML 4.0
Бук-пресс
Сергей Велихов
abc
xyz
vwxyz
pnfm
wxyz
xxx
nop
klm
db9i
stuv
abcd
cde
xxyz
dew
onpq
wxy
jbcl
5a6
6i218
fgh
lrcvcp
p:k
Год:
2006
Язык:
russian
Файл:
PDF, 1.47 MB
Ваши теги:
0
/
0
russian, 2006
3
Полупроводниковая оптоэлектроника
ТУСУР
Давыдов В. Н.
d14
xxx
d11
с14
zzz
xyy
yxy
yyx
с11
d111
xxy
xyx
yxx
yyy
d12
d34
n12
t33
xxz
xyz
xzx
xzy
yxz
yyz
yzx
yzy
zxx
zxy
zyx
zyy
сijkl
exp
n32
xxxx
с13
с44
d122
d13
d15
d16
d32
d33
n22
sin2
xxyy
xxyz
xzz
yzz
zxz
zyz
Язык:
russian
Файл:
PDF, 487 KB
Ваши теги:
0
/
0
russian
4
Элементы электронной техники
ТУСУР
Давыдов В. Н.
d14
xxx
d11
с14
zzz
xyy
yxy
yyx
с11
d111
xxy
xyx
yxx
yyy
d12
d34
n12
t33
xxz
xyz
xzx
xzy
yxz
yyz
yzx
yzy
zxx
zxy
zyx
zyy
сijkl
exp
n32
xxxx
с13
с44
d122
d13
d15
d16
d32
d33
n22
sin2
xxyy
xxyz
xzz
yzz
zxz
zyz
Язык:
russian
Файл:
PDF, 464 KB
Ваши теги:
0
/
0
russian
5
Онтологизации
Дацюк С.
dasein
vr1
xix
vr2
xviii
xxi
asp
a1v1
a2v2
aivia
aivra
aperiunter
arvia
arvra
asr
average
constructivist
creatio
diameter
distance
epitafijantr.shtml
ethic
fenomen
fores
fransofurti
hermeticum
htm
ibm
independent
intimate
metaphysika
metrosexual
mirror
nihilo
ontosophia
philisophiae
philosophicum
pravda.com.ua
publications
rectus
scientist
simpson
tabula
tanquam
togetherness
tv.htm
ukr.net
v1a1
v2a2
viaiv
Язык:
russian
Файл:
TXT, 824 KB
Ваши теги:
0
/
0
russian
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×