退出
我的积分:
中文文献批量获取
外文文献批量获取
曹钦翔; 詹博华; 赵永望;
上海交通大学电子信息与电气工程学院;
中国科学院软件研究所;
浙江大学计算机科学与技术学院;
逻辑推导; 定理证明; 形式化方法; 计算机系统; 数学命题; 程序测试; 关注焦点; 特定类型;
机译:关于信息动态和交互理论及其在对话中的应用的综合专题的前言
机译:具有多个先验凸约束的集合理论自适应滤波的理论与应用-第二部分:收敛定理的证明
机译:使用超演绎的Tableaux模理论在Zenon自动定理证明器对B证明规则的验证中的应用
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:有限场理论中的一些定理及其在费马最后定理中的应用
机译:使用超演绎的Tableaux模理论-用Zenon自动定理证明器验证B证明规则的应用
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。
机译:用于调节或控制在车辆中使用的车辆状况参数的方法包括:由固定理论值和动态理论值形成理论值。
机译:从发射机发送到接收机的数据的传输方法,包括传输用于调整传输信道衰减的前导信号,并确定理论上存在幅度的应用增益的信号部分
机译:测量转子表面轮廓的方法电动汽车,包括通过信号平均值和测得的距离确定理论距离,并从理论距离确定车身的表面结构
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。