KombinationvonModal-undBeschreibungslogikenundihreAnwendungzurRepräsentationintensionalenunddynamischenWissens
项目来源
德(略)基(略)F(略)
项目主持人
F(略)k(略)t(略)
项目受资助机构
T(略)n(略)r(略)y(略)i(略)p(略),(略)a(略)e(略)f(略)p(略)r(略)e(略)
立项年度
1(略)
立项时间
未(略)
项目编号
5(略)5(略)
项目级别
国(略)
研究期限
未(略) (略)
受资助金额
0(略)欧(略)
学科
T(略)r(略)c(略)o(略)t(略)c(略)c(略)
学科代码
未(略)
基金类别
R(略)a(略)G(略)t(略)
关键词
未(略)
参与者
P(略)e(略)r(略)F(略)k(略)t(略)
参与机构
未(略)
项目标书摘要:Zi(略)ensistes,(略)Zusammena(略)enForsche(略)Modallogi(略)undimBere(略)bungslogi(略)tszuiniti(略)chsollenz(略)nderModal(略)keltensta(略)enundMeta(略)ufBeschre(略)enübertra(略)umanderen(略)derfürBes(略)ogikenent(略)gorithmis(略)enpraktik(略)hmenfürMo(略)ntworfenu(略)iertwerde(略)hsolldieK(略)onModal-u(略)ungslogik(略)tersuchtw(略)chtderBes(略)ogikenerm(略)dieDarste(略)ionalenWi(略)amischenW(略)erSichtde(略)liefertdi(略)ioneineMo(略)sterStufe(略)chdieEins(略)fBeschrei(略)nbesserha(略)stalsvoll(略)ersterStu(略)fürwirdda(略)merkaufde(略)gpraktika(略)idungsver(略)ebetracht(略)liegen.
- (略)