退出
我的积分:
中文文献批量获取
外文文献批量获取
钟盛阳;
中山大学逻辑与认知研究所;
机译:线性逻辑中Quipper量子编程语言的Metathory的形式化
机译:使用时间逻辑对UML状态机进行形式化
机译:用于在给定状态附近克隆量子状态的量子逻辑网络
机译:量子态流形的对偶性质
机译:法律上的金钱:大量抽象的性质。关于法律范畴的对偶性和货币继承的抽象的辩证逻辑文章。
机译:海森堡不确定性关系它的扩展以及波粒对偶性的量子问题
机译:量子因果关系和量子控制:模型,对偶和公理(量子分析中的微观宏观对偶)
机译:Desitter时空中一般量子场理论的解析性质和热效应
机译:量子设备,量子逻辑设备,驱动量子逻辑设备的方法以及量子逻辑设备的逻辑电路
机译:根据量子逻辑器件驱动方法的逻辑电路和量子器件,量子逻辑器件,量子逻辑器件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。