退出
我的积分:
中文文献批量获取
外文文献批量获取
牟廉明;
内江师范学院,数学系,四川,内江,641112;
符号逻辑计算; 有序表; 极小覆盖集;
机译:改良式种植引导模板的计算机辅助设计及应用(附病例报告)
机译:2018年计算机科学的逻辑基础由佛罗里达州佛罗里达州佛罗里达州符号逻辑Deerfield海滩协会合作,2018年1月8日至11日
机译:智利瓦尔帕莱索市符号逻辑协会协办的第21届逻辑,语言,信息和计算研讨会(2014年世界大会)2014年9月1-4日,摘要
机译:自动仿照推理:证明 - 计算和符号逻辑的句法可辨ic
机译:英国-罗马天主教徒普世对话:拉纳式符号逻辑的案例。
机译:符号逻辑中的数字计算方法以生物化学为例
机译:新木材含水量计算尺之设计及应用
机译:高活性液体或固体物质反射测量的实验设计及应用于液体钠
机译:电力电子开关装置的开关速度提高设计及应用
机译:肿瘤细胞中特异性表达免疫调节因子GM-CSF的致癌性腺病毒重组体的设计及应用
机译:任意内容的存储与检索设计及应用数据
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。