ricerca dei libri
libri
Donare
Entrare
Entrare
gli utenti autorizzati hanno accesso a:
raccomandazioni personali
Telegram bot
cronologia dei download
inviare a email o Kindle
gestione delle raccolte
salvare nei preferiti
Personale
Richieste di libro
Studia
Z-Recommend
Elenco libri
Più popolari
Categorie
Partecipazione
Donare
Caricamenti
Litera Library
Dona i libri cartacei
Aggiungi i libri cartacei
Search paper books
Mio LITERA Point
Ricerca termini
Main
Ricerca termini
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
Anno:
1979
Lingua:
english
File:
PDF, 998 KB
I tuoi tag:
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
Anno:
1979
Lingua:
english
File:
PDF, 825 KB
I tuoi tag:
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
Anno:
1979
Lingua:
english
File:
DJVU, 1.62 MB
I tuoi tag:
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
Anno:
1979
Lingua:
english
File:
PDF, 19.40 MB
I tuoi tag:
0
/
0
english, 1979
1
Segui
questo link
o cerca il bot "@BotFather" in Telegram
2
Invia il comando /newbot
3
Inserisci un nome del tuo bot
4
Inserisci un nome utente del bot
5
Copia l'ultimo messaggio da BotFather e incollalo qui
×
×