წიგნების ძებნა
წიგნები
დახმარება
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
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
წელი:
1998
ენა:
german
ფაილი:
PDF, 13.16 MB
თქვენი თეგები:
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
წელი:
1995
ენა:
german
ფაილი:
PDF, 9.59 MB
თქვენი თეგები:
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
წელი:
1991
ენა:
german
ფაილი:
DJVU, 1.17 MB
თქვენი თეგები:
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
წელი:
1991
ენა:
german
ფაილი:
PDF, 4.05 MB
თქვენი თეგები:
0
/
0
german, 1991
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×