KombinationvonModal-undBeschreibungslogikenundihreAnwendungzurRepräsentationintensionalenunddynamischenWissens

项目来源

德(略)基(略)F(略)

项目主持人

F(略)k(略)t(略)

项目受资助机构

T(略)n(略)r(略)y(略)i(略)p(略),(略)a(略)e(略)f(略)p(略)r(略)e(略)

项目编号

5(略)5(略)

立项年度

1(略)

立项时间

未(略)

研究期限

未(略) (略)

项目级别

国(略)

受资助金额

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.

  • 排序方式:
  • 0
  • /
    (略)
  • 排序方式:
  • 0
  • /