Glushkov Institute of Cybernetics Ukrainian Academy of Sciences Glushkov's pr., 40, Kiev, 03187, Ukraine;
机译:在语言L中检查以不规则正态表示的公式的可满足性
机译:检查语言中以不规则正态表示的公式的可满足性
机译:时间逻辑可满足性检查器的公式生成方法
机译:MGHyper:检查3 * V *片段以外的HyperLTL公式的可满足性
机译:通过对比学习方法提高自然语言理解
机译:一种开发新语言词汇清单的方法及其评估早期语言发展的有效性
机译:SWOBE-将语义Web语言RDF,SPARQL和SPARUL嵌入Java中,以确保类型安全,检查查询的可满足性以及确定查询结果类型
机译:检验时态逻辑公式的两种方法