Robots; Transformations; Artificial Intelligence; Expert Systems; Mapping; Mathematical Logic; Navigation; T Codes;
机译:交叉点类型和指示语义:扩展摘要(邀请纸)
机译:公理为命题量词和标识扩展的模态系统S3-S5的指称语义
机译:将指称语义与Web服务的操作语义链接
机译:转换无线记录通过转换为无点样式获取表示语义
机译:Smythe完成:用于指称语义和复杂性分析的通用拓扑基础。
机译:使用基于本体的细化操作员使用概念规则学习在OMICS数据中找到语义模式
机译:模态系统s3 - s5的指称语义由公理扩展 命题量词和身份