退出
我的积分:
中文文献批量获取
外文文献批量获取
符红光; 钟秀琴; 曾振柄;
中国科学院成都计算机应用研究所;
成都;
610041;
电子科技大学计算机科学与工程学院;
610054;
华东师范大学软件学院;
上海;
200062;
三角函数化简; 组合规则; 规则链表; 可读证明; 自动推理;
机译:涉及三角函数的某些表达式的新近似
机译:正确的基础知识以及如何制作模拟电子电路:第5部分电信号“三角函数”的数学表达式
机译:通过三角正交函数(右三角函数和左三角函数的组合)和混合正交函数(样本保持函数与右三角函数的组合)解Volterra和Fredholm类方程
机译:基于表达式驱动三角函数的四足动物程序动画
机译:约翰·弥尔顿(John Milton)的《 Areopagitica》对夏洛特·勃朗特(CharlotteBrontë)的《简·爱》(Jane Eyre)的影响:《简》作为国家美德的典范
机译:Expoldb:表达式链接多态性数据库带有用于分析表达式和简单重复的内置工具
机译:基于简谐振荡方程的三角函数离散化过程
机译:具有指定输入正则表达式的顺序机器的输出正则表达式的生成
机译:三角函数逼近装置,三角函数逼近方法和三角函数逼近程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。