поиск книг
книги
Поддержать
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Certainty by Construction: Software and Mathematics in Agda
Sandy Maguire
suc
agda
zero
ℕ
function
ℓ
bool
false
cong
module
setoid
we’d
functions
monoid
import
reasoning
sym
𝑥
equality
argument
branch
identityʳ
hnf
proofs
prove
equal
insert
syntax
arguments
bst
define
values
eval
trie
inj
𝑎
monoids
assoc
programming
constructor
addition
identityˡ
𝑏
emacs
variables
ℤ
preorder
standard
shape
iseven
Год:
2023
Язык:
english
Файл:
PDF, 1.33 MB
Ваши теги:
0
/
4.5
english, 2023
2
மணிபல்லவம் Part 2 Manipallavam Part 2
Tamil Puthakalayam
Na. Parthasarathy
,
நா. பார்த்தசாரதி
abs
qasr
sour
wun
bss
cht
crop
cured
cures
fhs
gear
gig
gss
hsi
hss
mung
ores
sarc
slug
ugs
ups
wert
wine
wrote
2ager
ages
agung
ahs
arr
bers
cah
cit
conn
cot
cou
creiry
cremgy
cron
curd
cure
curg
daren
deh
dene
edb
evenev
fds
ftg
g19
gator
Год:
2000
Язык:
tamil
Файл:
PDF, 10.55 MB
Ваши теги:
0
/
0
tamil, 2000
3
குருதித்தேசம் வரலாற்று நாவல்
சீதை
பா.மோகன்
gib
abs
crest
gio
hhs
yss
cure
cured
eretr
gid
hss
igo
logit
obs
qasr
qbs
qos
ahs
apse
fhs
geer
ggh5
gig
gurg
hsh
hst
shs
ubs
aor
bie
btld
canes
cirig
couctr
creer
crepes
crete
cretr
cron
crot
cubs
eid
eis
eresrprretr
esr
evenev
eveney
fhm
geo
gere
Год:
2013
Язык:
tamil
Файл:
PDF, 2.75 MB
Ваши теги:
0
/
0
tamil, 2013
4
மரகத நாட்டு மந்திரவாதி
Books For Children
grog
hhs
ues
fid
fug
glu
goo
ous
qos
ups
cubs
gid
gig
gio
grom
groo
holt
hoo
lue
qol
sour
ted
tues
ued
ugs
uorele
usp
wes
wis
yoke
youer
199g
55s
apes
berm
bogie
bss
cld
coon
cou
crest
cribs
crom
degiu
douse
enousgasred
evenev
f109
fff
fhs
Год:
2010
Язык:
tamil
Файл:
PDF, 18.78 MB
Ваши теги:
0
/
0
tamil, 2010
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×