退出
我的积分:
中文文献批量获取
外文文献批量获取
李可胜; 邹崇理;
浙江大学语言与认知研究中心,浙江杭州 310028;
中国社会科学院哲学所,北京 100732;
乔姆斯基; 公理演绎; 形式句法学; 形式语义学;
机译:是否在ARIS中使用了EPK?句法扩展和形式语义的方法
机译:使用本体形式形式语义推导逻辑后果
机译:基于形式语义的文本含义的形式化和解释算法
机译:明确演绎数据库中权利和机密性的形式语义
机译:连词动词形式在西方纳斯卡皮语中的分布及相关的句法-句法问题。
机译:神经病学诊所中的形式语义学:ALS患者方面强迫的非典型理解
机译:同步逻辑:广义角子句的公理和形式语义
机译:迈向飞行计划和轨迹的形式语义。
机译:表示形式语义分解的准则执行(GESDOR)
机译:f3用算术公理对任意形式的“ [1,2Sgh1] f(2a)和[1,2Sgh2] f(2n)”定额格式的“ g”数字实施解码程序的任意g功能数字加法器功能结构(SIGMACD)标记f(+ 1,0,-1)和双逻辑微分d1,2 / dn-f1,2(+-)d / dn的“等级2”有效参数和有效逻辑零“ +1”的删除“ 1级”中的“ -1”-“ 0”(俄罗斯逻辑版本)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。