募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
26.5% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Wissensakquisition mithilfe maschineller Lernverfahren auf tiefen semantischen Repräsentationen
Springer Vieweg
Tim vor der Brück (auth.)
categ
für
semantischen
syno
verfahren
hypothesen
semantische
tabelle
beispielsweise
hypothese
relationsextraktion
itms
merkmale
verwendet
sub0
begriff
wert
abbildung
beispiel
attr
siehe
extraktionsregeln
können
relationen
subs
extrahiert
extraktion
anzahl
satz
abschnitt
wobei
begriffe
daher
extraktionsregel
mithilfe
präzision
knoten
merkmal
hyponym
sorten
validierung
netz
entailments
multinet
besteht
korrekt
mero
menge
recall
tiefen
年:
2013
语言:
german
文件:
PDF, 2.02 MB
您的标签:
0
/
5.0
german, 2013
2
Wissensakquisition mithilfe maschineller Lernverfahren auf tiefen semantischen Repräsentationen
Springer Vieweg
Tim vor der Brück (auth.)
categ
für
semantischen
syno
verfahren
hypothesen
semantische
tabelle
beispielsweise
hypothese
relationsextraktion
itms
merkmale
verwendet
sub0
begriff
wert
abbildung
beispiel
attr
siehe
extraktionsregeln
können
relationen
subs
extrahiert
extraktion
anzahl
satz
abschnitt
wobei
begriffe
daher
extraktionsregel
mithilfe
präzision
knoten
merkmal
hyponym
sorten
validierung
netz
entailments
multinet
besteht
korrekt
mero
menge
recall
tiefen
年:
2013
语言:
german
文件:
PDF, 1.63 MB
您的标签:
0
/
0
german, 2013
3
Automatische Synthese rekursiver Programme als Beweisverfahren
Springer-Verlag Berlin Heidelberg
Susanne Biundo (auth.)
formel
false
v:nat
beispiel
gilt
cdr
y:nat
formeln
urn
fallunterscheidung
seiten
anwendung
beweis
taut
theoriespezifikation
vgl
mklist
menge
erhalten
flir
extraktionsregel
skolemfunktion
folgt
funktion
append
definitionsformel
u:nat
d.h
heuristiken
programm
bool
folgende
seien
deff
aile
synthese
delete
hrsg
zunachst
angewandt
erzeugt
fonnel
reverse
assigned
diff
falls
induktionsregel
programme
abschnitt
proceedings
年:
1992
语言:
german
文件:
PDF, 6.13 MB
您的标签:
0
/
0
german, 1992
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×