退出
我的积分:
中文文献批量获取
外文文献批量获取
刘宏岚; 高庆狮; 杨炳儒;
北京科技大学信息工程学院,北京100083;
经典命题演算形式系统; 概率命题逻辑; 概率空间; 集合代数; 同态;
机译:经典命题演算上分离定理的代数证明
机译:经典命题演算的分类证明理论
机译:关于A. R. Anderson和N. D. Belnap的经典命题演算
机译:证明的抽象解释:经典命题演算
机译:有限交换环上经典李代数的正交阿贝尔Cartan子代数分解
机译:温暖的温度减弱了普通蜥蜴Zootoca vivipara的经典后代数量和生殖投资权衡。
机译:勘误表“关于由形式系统定义的代数群和相关变体的弱逼近” J.纯应用代数113(1996)67–90
机译:具有正定度量的Hilbert空间中经典代数和超代数的Hermitean振子类实现
机译:重组经典猪瘟病毒,活经典猪瘟疫苗,保护动物免受经典猪瘟的方法,区分感染经典猪瘟病毒的动物与未感染动物或接种猪瘟疫苗的动物的方法,以及分离感染性重组经典猪瘟病毒病毒,cdna分子,传染性重组经典猪瘟病毒的使用以及基于肽的酶联免疫吸附法
机译:用于软件代理的语义解释装置,具有将事件和消息翻译成初始语义表示的翻译单元和识别符合该表示的语义解释模型的单元
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。