kitab axtarışı
kitablar
Dəstək ol
Giriş
Giriş
Avtorizasiyadan keçmiş istifadəçilər üçün aşağıdakılar mövcuddur:
fərdi tövsiyələr
Telegram botu
yükləmə tarixçəsi
Email-a və ya Kindle-a göndərmək
seçimin idarə edilməsi
seçilmişlərə əlavə edilməsi
Şəxsi
Kitab sorğuları
Öyrənməsi
Z-Recommend
Kitab siyahısı
Ən məşhurları
Kateqoriyalar
İştirak
Dəstək ol
Yükləmələr
Litera Library
Kağız kitabları iadə edin
Kağız kitabları əlavə edin
Search paper books
Mənim LITERA Point'um
Açar sözlərin axtarışı
Main
Açar sözlərin axtarışı
search
1
A computational logic
AP
Boyer R.S.
,
Moore J.S.
equal
theorem
induction
implies
sub1
lessp
numberp
cdr
function
rewrite
add1
append
listp
reverse
prove
recursive
lemma
zerop
conjecture
envrn
count
theorems
lemmas
proved
principle
definitions
founded
difference
functions
pds
remainder
proving
variables
alist
argument
correctness
axioms
proofs
prover
shell
consider
push
algorithm
flatten
assignment
assume
exec
simplifies
formal
apply
İl:
1979
Dil:
english
Fayl:
PDF, 998 KB
Sizin teqləriniz:
0
/
0
english, 1979
2
A Computational Logic (ACM monograph series)
Academic Press
Robert S. Boyer
,
J. Strother Moore
equal
theorem
induction
implies
sub1
lessp
numberp
cdr
function
rewrite
add1
append
listp
reverse
prove
recursive
lemma
zerop
conjecture
envrn
count
theorems
lemmas
proved
principle
definitions
founded
difference
functions
pds
remainder
proving
variables
alist
argument
correctness
axioms
proofs
prover
shell
consider
push
algorithm
flatten
assignment
assume
exec
simplifies
formal
apply
İl:
1979
Dil:
english
Fayl:
PDF, 825 KB
Sizin teqləriniz:
0
/
0
english, 1979
3
A computational logic
Academic Press
Robert S. Boyer
,
J.Strother Moore
equal
theorem
implies
induction
sub1
lessp
numberp
function
rewrite
cdr
add1
append
listp
reverse
prove
recursive
lemma
zerop
conjecture
envrn
theorems
lemmas
count
proved
founded
principle
definitions
difference
functions
remainder
proving
variables
pds
prover
alist
argument
correctness
axioms
proofs
shell
consider
push
algorithm
flatten
assume
assignment
exec
simplifies
formal
apply
İl:
1979
Dil:
english
Fayl:
DJVU, 1.62 MB
Sizin teqləriniz:
0
/
0
english, 1979
4
A Computational Logic
Elsevier Inc, Academic Press Inc
Robert S. Boyer
,
J Strother Moore and Thomas A. Standish (Auth.)
equal
theorem
implies
induction
lessp
subi
numberp
cdr
append
rewrite
function
listp
reverse
prove
lemma
recursive
zerop
count
envrn
conjecture
proved
lemmas
theorems
principle
difference
founded
definitions
remainder
flatten
functions
proving
variables
correctness
shell
axioms
proofs
alist
argument
assume
pds
consider
prover
algorithm
assignment
exec
push
simplifies
strpos
apply
conclusion
İl:
1979
Dil:
english
Fayl:
PDF, 19.40 MB
Sizin teqləriniz:
0
/
0
english, 1979
1
bu linkə
keçid edin və ya Telegramda "@BotFather" botunu axtarın
2
/newbot komandanı göndərin
3
Botunuzun adını qeyd edin
4
Bot üçün istifadəçi adını qeyd edin
5
BotFather-dən gələn son mesajını kopyalayıb bura daxil edin
×
×