...
机译:一元否定片段具有传递性的有限满足性
机译:具有传递卫兵和相关变体的两变量守卫片段的有限可满足性
机译:使用正则路径表达式查询一元否定片段
机译:具有传递关系的二元逻辑片段的可满足性问题
机译:具有等价或传递保护的受保护片段的有限可满足性
机译:心理动词的及物性和结构性格标记:西班牙语HPSG语法的一部分。
机译:存在于肿瘤微环境中的透明质酸可以否定人表面活性剂蛋白D对乳腺癌细胞的重组片段的促凋亡作用
机译:具有时滞的双变量保护碎片的有限可满足性 传递卫兵和相关变种
机译:传递约束的布尔可满足性