Vienna University of Technology, Austria;
Vienna University of Technology, Austria;
机译:关于强否定的答案集语义的强等价定理
机译:约束论证框架的无冲突和容忍语义
机译:论逻辑程序设计语义与论证语义之间的对等
机译:基于无冲突集的论证语义的强大等价
机译:评估语义对等以增进对国际文件的理解:语义网络分析在《世界人权宣言》的多语言翻译中的应用。
机译:临床术语第3版(阅读代码)中基于语义的概念差异检索和对等检测。
机译:基于无冲突集的论证语义的强等价
机译:模糊集作为随机集的等价类。 (重新公布新的可用性信息)。