募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
22.5% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
创建 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Formalisieren und Beweisen: Logik für Informatiker
Vieweg+Teubner Verlag
Dirk Siefkes (auth.)
formeln
formel
satz
wahr
beweisen
struktur
beispiel
folgt
abschnitt
prädikatenlogik
heißt
axiome
beweis
gilt
aufgabe
logik
signatur
aufgaben
folgerung
variablen
menge
ableiten
zahlen
strukturen
daten
vollständig
formalisieren
schreiben
fonneln
schnittregel
fürs
logische
theorie
daher
äquivalent
atome
aussagenlogik
erhalten
bzw
pfeiler
ableitbar
benutzen
belegung
gelten
beliebige
falsch
verfahren
fritz
fonnel
zeigen
年:
1992
语言:
german
文件:
PDF, 7.50 MB
您的标签:
0
/
0
german, 1992
2
Formalisieren und Beweisen: Logik für Informatiker
Vieweg+Teubner Verlag
Dirk Siefkes (auth.)
formeln
formel
satz
wahr
beweisen
beispiel
struktur
folgt
fiir
flir
abschnitt
axiome
beweis
gilt
nieht
aufgabe
logik
signatur
aufgaben
urn
variablen
menge
zahlen
ableiten
folgerung
daten
formalisieren
strukturen
heibt
aile
aussagenlogik
schnittregel
theorie
daher
logische
schreiben
1st
atome
erhalten
ableitbar
bzw
tiber
benutzen
belegung
pfeiler
gelten
verfahren
beliebige
priidikatenlogik
fritz
年:
1990
语言:
german
文件:
PDF, 37.19 MB
您的标签:
0
/
0
german, 1990
3
Logikkalküle
Vieweg+Teubner Verlag
Dr. rer. nat. Michael M. Richter (auth.)
beweis
satz
gilt
formel
ableitbar
formeln
folgt
heißt
falls
menge
erhalten
sequenz
existiert
knoten
erfüllt
logik
d.h
variablen
axiome
regeln
bzw
betrachten
behauptung
erklärt
kalkül
erklären
wobei
lkk
belegung
1jj
jedes
induktion
sche
vxk
zeigen
daher
vorkommen
läßt
ableitung
modell
struktur
schen
wahr
folge
folgenden
ersetzen
setzen
seien
sequenzen
substitutionen
年:
1978
语言:
german
文件:
PDF, 4.80 MB
您的标签:
0
/
0
german, 1978
4
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
Vieweg+Teubner Verlag
Dieter Hofbauer
,
Ralf-Detlef Kutsche (auth.)
formeln
menge
gilt
beispiel
klauseln
regeln
beweis
satz
bzw
formel
klausel
lemma
falls
verfahren
variablen
existiert
ableitung
ordnung
matrix
substitutionen
d.h
heißt
mgu
formelmenge
tableau
abschnitt
widerlegung
prädikatenlogik
substitution
eats
literal
schnitt
herbrand
wobei
gleichungen
sowie
signatur
fak
konfluenz
folgenden
folgt
enthält
gleichung
fonnel
wert
erhalten
modell
struktur
paramodulation
termersetzungssystem
年:
1991
语言:
german
文件:
PDF, 5.33 MB
您的标签:
0
/
0
german, 1991
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×