German Research Center for Artificial Intelligence (DFKI GmbH), Saarbruecken, Germany;
FR 6.2 Informatik, Saarland University, Saarbruecken, Germany;
机译:人类对水生生态系统生态连通性的影响:整合科学方法以支持管理和缓解
机译:临床决策支持系统(知识主),在床边融合科学知识:发展与评估研究
机译:有关向新生儿灭绝提供的援助的科学证据:综合文献综述
机译:使用验证辅助系统集成科学文本编辑器时支持用户定义的符号
机译:支持科学信息收集中发现的交互式可视化系统和数据集成方法
机译:第三本书:医疗领域的科研应用:支持交互式系统开发的信息流模型的一种表示法
机译:PlatΩ:文本编辑器和证明辅助系统之间的中介
机译:支持科学信息集合发现的交互式可视化系统和数据集成方法