Doações 15 de Setembro 2024 – 1º de Outubro 2024
Sobre a angariação de fundos
pesquisa de livros
livros
Doações:
71.1% atingido
Entrar
Entrar
para acessar mais recursos:
Recomendações pessoais
Telegram bot
Baixar histórico
Enviar para o E-mail ou Kindle
gerenciar as listas de livros
salvar para os favoritos
Pessoal
Pedidos de livro
Explorar
Z-Recomendado
Coleções de livros
Mais populares
Categorias
Contribuição
Doar
Carregamentos
Litera Library
Doe livros de papel
Adicione livros de papel
Search paper books
Meu LITERA Point
Pesquisa de termos
Main
Pesquisa de termos
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
Ano:
1979
Idioma:
english
Arquivo:
PDF, 998 KB
As suas tags:
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
Ano:
1979
Idioma:
english
Arquivo:
PDF, 825 KB
As suas tags:
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
Ano:
1979
Idioma:
english
Arquivo:
DJVU, 1.62 MB
As suas tags:
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
Ano:
1979
Idioma:
english
Arquivo:
PDF, 19.40 MB
As suas tags:
0
/
0
english, 1979
1
Siga a
este link
ou encontre o bot "@BotFather" no Telegram
2
Send /equipe newbot
3
Indique o nome para o seu chatbot
4
Escolha um nome de usuário para um bot
5
Copia a última mensagem de BotFather e insira-a aqui
×
×