退出
我的积分:
中文文献批量获取
外文文献批量获取
王健;
当湖高级中学;
机译:De Morgan求反和部分动态De Morgan代数的集合表示的基于Poset的逻辑
机译:人工智能和知识表示的逻辑方面的Tweety库集合
机译:真正线性空间中集合优化问题近似解的不等式方法
机译:非经典逻辑的Kripke模型中列,多集,集合和粒度表示的表示
机译:用于不确定性的设计约束的谓词逻辑表示,支持基于集合的设计范例
机译:什么是任务集:单个集成表示或多个控件表示的集合?
机译:逻辑程序中集合共享分析的两种有效表示形式
机译:Fermion和Boson表示中集合子空间结构的动力学不等式
机译:用于合成,旋转和压缩的多模态数据集合的逻辑表示的逻辑排列,数据结构,系统和方法
机译:用于合成,识别和压缩的多峰数据集合的多线性表示的逻辑布置,数据结构,系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。