գրքերի որոնում
գրքեր
Աջակցել
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
Telegram բոտ
ներբեռնումների պատմությունը
էլ. փոստին կամ Kindle-ին ուղարկումը
հավաքածուների կառավարումը
ընտրյալներին պահպանումը
Անձնական
Գրքերի հարցումներ
Ուսումնասիրում
Z-Recommend
Գրքերի հավաքածու
Ամենահայտնի
Կատեգորիաներ
Մասնակցություն
Աջակցել
Ներբեռնումներ
Litera Library
Նվիրաբերել թղթե գրքեր
Ավելացնել թղթե գրքեր
Search paper books
Իմ LITERA Point-ը
Բանալի բառերի որոնում
Main
Բանալի բառերի որոնում
search
1
An Introduction to Functional Programming Through Lambda Calculus
Addison-Wesley
Greg Michaelson
function
false
programming
functions
succ
argument
values
zero
introduction
calculus
lists
lisp
iszero
recursive
variables
ax.x
node
item
equal
rec
arguments
definitions
expression2
define
recursion
binary
consider
items
apply
notation
reduction
typed
applicative
integer
append
sml
implies
boolean
operations
defined
seleclsecond
trees
defun
evaluated
standard
cond
ax.ay
composite
linear
exp
Տարի:
1989
Լեզու:
english
Ֆայլ:
DJVU, 1.56 MB
Ձեր թեգերը:
0
/
0
english, 1989
1
Հետևեք
այս հղմանը
կամ որոնեք @BotFather բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×