科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:代数理论的功能语义
F. William Lawvere;
机译:多代数和部分代数的函数语义,以及在语法上的应用
机译:眼球运动前代数和视觉语义代数:可能的链接在不可思议的数学框架内和Husserlian现象理论中
机译:规范系统的证明理论,语义和代数
机译:多代数的汇流语义
机译:延迟度:过程代数中优先级,效率,公平性和可预测性的语义理论。
机译:从顶点算子代数的表示理论到共形场论中的模量张量类别
机译:二阶代数理论的函数语义
机译:教育仪器,特别是汇编原理,逻辑和布尔代数的教学
机译:范畴论和认知科学在内容数据语义描述设计中的应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。