National Institute of Informatics, Japan;
机译:排序逻辑中的存在刚性和多种形式
机译:具有量化可及性关系的现有二阶逻辑和模态逻辑
机译:谓词层次结构的顺序排序逻辑编程
机译:用于Meta-Ontology的订单排序量化模态逻辑
机译:模特量化和模态逻辑的比较
机译:基于模糊逻辑手动和半自动基于2SD的方法从晚期对比增强磁共振图像中定量心肌坏死:与心肌梗塞后早期梗死面积左心室容积和功能的生化评估进行比较
机译:元本体的顺序排序量化模态逻辑