书籍搜索
书
捐款
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 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
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×