本の検索
本
ドネーション
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
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から最後のメッセージをコピーして、ここに貼り付けてください。
×
×