Sumbangan 15 September 2024 – 1 Oktober 2024
Tentang pengumpulan dana
pencarian buku
buku
Sumbangan:
65.9% dicapai
Masuk
Masuk
pengguna terdaftar memiliki akses ke:
rekomendasi pribadi
Bot Telegram
riwayat unduhan
mengirim ke alamat email atau Kindle
manajemen daftar buku
penyimpanan ke Favorit
Pribadi
Permintaan untuk buku
Pengkajian
Z-Recommend
Daftar buku
Yang paling populer
Kategori
Partisipasi
Mendukung
Unggahan
Litera Library
Menyumbangkan buku kertas
Menambah buku kertas
Search paper books
LITERA Point saya
Pencarian kata kunci
Main
Pencarian kata kunci
search
1
Termersetzungssysteme: Theorie, Implementierung, Anwendung
Vieweg+Teubner Verlag
Reinhard Bündgen (auth.)
gilt
falls
menge
vervollständigung
beispiel
redux
folgt
regeln
gipfel
termersetzungssystem
heißt
beweis
knuth
satz
bendix
termersetzungssysteme
abbildung
ordnung
axiom
aufgabe
kritischen
gleichung
gleichungen
lemma
beweisen
zeigen
bzw
modulo
folgenden
app
substitution
variablen
lösung
läßt
spezifikation
verfahren
somit
termination
folgende
konfluenz
ordnungen
konfluent
anwendung
operatoren
beschrieben
termen
unifikation
aufgaben
beschreiben
substitutionen
Tahun:
1998
Bahasa:
german
File:
PDF, 13.16 MB
Tag Anda:
0
/
0
german, 1998
2
Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen
Springer-Verlag Berlin Heidelberg
Professor Dr. Jürgen Avenhaus (auth.)
gilt
beweis
fiir
1st
terminierend
proc
lemma
falls
rewriting
satz
volume
rpo
zeigen
modulo
regeln
lecture
verlag
springer
regelsystem
systems
gdw
beispiel
termination
folgt
aufgabe
menge
gleichung
r.a
conference
partialordnung
konfluent
gleichungen
aile
beachte
knuth
bendix
liefert
ordnung
journal
d.h
vervollstandigung
jedes
reduktionsordnung
abbildung
konfluenz
rosser
paare
zeigt
betrachten
termersetzungssysteme
Tahun:
1995
Bahasa:
german
File:
PDF, 9.59 MB
Tag Anda:
0
/
0
german, 1995
3
Logische und funktionale Programmierung: Grundlagen einer Kombination
Vieweg+Teubner Verlag
Ulrich Furbach (auth.)
fhcl
hcl
mittels
menge
gleichungen
gilt
semantik
nodes
funktionalen
programm
widerlegung
paramodulation
prolog
antwortsubstitution
z.b
beispiel
hornklauseln
lambda
klausel
abschnitt
folgende
lisp
unifikation
verwendet
folgenden
kombination
vollständigkeit
wobei
eval
sld
ableitung
append
funktion
logischen
berechnungsregel
cond
funktionale
gegeben
nämlich
zielklausel
hornklausellogik
definiert
systems
klauseln
termersetzungssysteme
variablen
heißt
bzgl
erweiterte
fcl
Tahun:
1991
Bahasa:
german
File:
DJVU, 1.17 MB
Tag Anda:
0
/
0
german, 1991
4
Logische und Funktionale Programmierung: Grundlagen einer Kombination
Vieweg+Teubner Verlag
Ulrich Furbach (auth.)
fhcl
fiir
mittels
hcl
gleichungen
menge
gilt
semantik
nodes
funktionalen
paramodulation
programm
widerlegung
beispiel
hornklauseln
prolog
z.b
lisp
urn
antwortsubstitution
lambda
abschnitt
folgende
klausel
unifikation
verwendet
folgenden
kombination
hornklausellogik
wobei
eval
sld
mub
append
funktion
ableitung
iiber
cond
gegeben
logischen
zielklausel
funktionale
definiert
soli
berechnungsregel
klauseln
termersetzungssysteme
variablen
bzgl
erweiterte
Tahun:
1991
Bahasa:
german
File:
PDF, 4.05 MB
Tag Anda:
0
/
0
german, 1991
1
Pindah ke
tautan ini
atau temukan bot "@BotFather" di Telegram
2
Kirimlah perintah /newbot
3
Masukkan nama untuk bot Anda
4
Masukkan nama pengguna untuk bot
5
Salin pesan terbaru dari BotFather dan masukkannya di sini
×
×