一种定义模态和谓词逻辑演绎后承的新方法

机译：ROGA-一种基于风险的危害分析的新方法：第1部分-使用风险图进行演绎性危害分析和基于风险的评估

机译：一种在运行谐波中进行实验模态分析（EMA）的创新方法，用于结构模态识别

机译：修改后的患者和观察者瘢痕评估量表：一种定义病理性和非病理性瘢痕形成的新方法。

机译：模态谓词逻辑I的语义。对手框架

机译：为区域研究定义和衡量企业家精神：一种新方法

机译：三维承窝保存：一种用于软组织扩增以及承窝移植的技术

机译：关于中间谓词逻辑和模态谓词逻辑的Kripke语义的完整性和不完整性。 （关于非经典逻辑及其Kripke语义的问题）

机译：一种求解多模态动力学方程的新方法

机译：不锈钢装饰环，具有用手指拧入承载环的承窝，并且内六角扳手插入承窝的内六角形，并在使用定义的螺纹锁紧的情况下以任何扭矩拧紧承窝

机译：谓词逻辑公式创建系统，会计日记帐规则创建设备，会计日记帐设备，谓词逻辑公式创建程序，会计规则创建程序以及会计日记帐程序

机译：信息例如短消息业务信息，移动电话设备的更新方法，涉及在表中按位置特性定义位置，并直接从更新后的消息中的数据中获取位置