科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
程华清;
华东师范大学哲学系;
直觉主义逻辑; 构造性思想; 证明语义;
机译:乘法线性逻辑证明图:语法和语义
机译:COGEX:语义和上下文丰富的逻辑证明者,用于回答问题
机译:在A.Ya。钦钦(Khinchin)的论文“直觉主义思想与当代数学中的主题斗争”(1926年):引言和评论的翻译
机译:基于OWL语言的ER图的语义描述和逻辑证明
机译:直觉主义的语义和数学基础。
机译:S110。有趣的快乐思想:使用限时积极图像叙事对心理言语的结构语义和情感进行分析
机译:使用构造性实体几何,逻辑规则和优化的9-IM模型(基于语义的方法),从定量空间算符到定性空间关系
机译:真理维护系统的构造性Fixpoint语义
机译:提供基于语义的元数据的基于语义的搜索设备,基于语义的搜索方法和服务器以及用于其操作的方法
机译:基于语义的搜索装置和基于语义的搜索方法以及用于提供基于语义的元数据的服务器及其操作方法
机译:语义词典管理器,语义文本编辑器,语义术语注释器,语义搜索引擎和语义信息系统构建器,该方法基于立即定义语义术语的方法来识别每个单词的准确含义
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。