Suche nach Büchern
Bücher
Spenden
Einloggen
Einloggen
für autorisierte Benutzer stellen folgendes zur Verfügung:
Persönliche Empfehlungen
Telegram-Bot
Downloadverlauf
an E-Mail-Adresse oder Kindle senden
Bücherlisten verwalten
in Favoriten speichern
Persönlich
Suchanfrage nach dem Buch
Erkunden
Z-Recommend
Bücherlisten
Meistgefragt
Kategorien
Teilnahme
Spenden
Hochladen
Litera Library
Papierbücher spenden
Papierbücher hinzufügen
Search paper books
Mein LITERA Point
Suche nach den Begriffen
Main
Suche nach den Begriffen
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
Jahr:
1979
Sprache:
english
Datei:
PDF, 998 KB
Ihre 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
Jahr:
1979
Sprache:
english
Datei:
PDF, 825 KB
Ihre 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
Jahr:
1979
Sprache:
english
Datei:
DJVU, 1.62 MB
Ihre 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
Jahr:
1979
Sprache:
english
Datei:
PDF, 19.40 MB
Ihre Tags:
0
/
0
english, 1979
1
Folgen Sie
diesem Link
oder finden Sie einen Bot "@BotFather" in Telegram
2
Senden Sie Befehl /newbot
3
Geben Sie den Namen für Ihren Bot an
4
Geben Sie den Benutzername für den Bot
5
Kopieren Sie die letzte Meldung von BotFather und fügen Sie hier ein
×
×