Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024
O prikupljanju novca
pretraga knjiga
knjige
Prikupljanje sredstava:
17.9% dosegnuto
Prijaviti se
Prijaviti se
prijavljenim korisnicima su dostupni:
lične preporuke
Telegram bot
istorija preuzimanja
poslati na Email ili Kindle
upravljanje zbirkama
sačuvanje u izabrano
Lično
Upite za knjige
Proučavanje
Z-Recommend
Spiskovi knjiga
Najpopularnije
Kategorije
Učešće
Donirati
Otpremanja
Litera Library
Donirati papirne knjige
Dodati papirne knjige
Search paper books
Otvoriti LITERA Point
Pretraga ključnih reči
Main
Pretraga ključnih reči
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
Godina:
2013
Jezik:
german
Fajl:
PDF, 2.02 MB
Vaši tagovi:
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
Godina:
2013
Jezik:
german
Fajl:
PDF, 1.63 MB
Vaši tagovi:
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
Godina:
1992
Jezik:
german
Fajl:
PDF, 6.13 MB
Vaši tagovi:
0
/
0
german, 1992
1
Idite na
ovaj link
ili potražite bota „@BotFather“ u Telegramu
2
Pošaljite komandu /newbot
3
Navedite ime za svog bota
4
Navedite korisničko ime za bota
5
Kopirajte poslednju poruku od BotFather i ubacite je ovde
×
×