գրքերի որոնում
գրքեր
Աջակցել
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
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
1
Հետևեք
այս հղմանը
կամ որոնեք @BotFather բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×