pretraga knjiga
knjige
Donirati
Prijaviti se
Prijaviti se
prijavljenim korisnicima su dostupni:
lične preporuke
Telegram bot
istorija preuzimanja
poslati na Email ili Kindle
upravljanje zbirkama
sačuvanje u izabrano
Lično
Upite za knjige
Proučavanje
Z-Recommend
Spiskovi knjiga
Najpopularnije
Kategorije
Učešće
Donirati
Otpremanja
Litera Library
Donirati papirne knjige
Dodati papirne knjige
Search paper books
Moj LITERA Point
Pretraga ključnih reči
Main
Pretraga ključnih reči
search
1
Automatisierung von Terminierungsbeweisen
Vieweg+Teubner Verlag
Christoph Walther (auth.)
,
Wolfgang Bibel (eds.)
algorithmus
succ
succp
false
gilt
addp
function
x:list
tai1
algorithmen
aile
gdw
n:number
flir
bool
erhalten
bezeichnet
terminierung
differenzalgorithmus
vgl
wobei
berechnet
y:number
spezifikation
anhang
satz
menge
abschnitt
cdr
element
urn
beweisen
filr
moore
operationen
rekursiven
verwenden
beispielsweise
ifx
boyer
operation
consp
d.h
verfahren
bedingung
ifsuccp
beweis
bedingungssubsumption
beschrankten
liefert
Godina:
1991
Jezik:
german
Fajl:
PDF, 10.28 MB
Vaši tagovi:
0
/
0
german, 1991
1
Idite na
ovaj link
ili potražite bota „@BotFather“ u Telegramu
2
Pošaljite komandu /newbot
3
Navedite ime za svog bota
4
Navedite korisničko ime za bota
5
Kopirajte poslednju poruku od BotFather i ubacite je ovde
×
×