“equational logic”的概念、定义、翻译、参考文献-科学参考

单词	equational logic
释义	equational logic Encyclopedia 理学形式化释 equational logic方程逻辑以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。 Mathematics equational logic等式逻辑 Computer 理论计算机科学程序理论释文 equational logic等式逻辑
随便看	Heikki Turunen Heilbronn Heilbronn triangle problem Heil electron gun heiligenschein Heilihe national nature reserve Heilonggang Shuixi Heilong Jiang Heilongjiang Heilongjiang Bacha Dao national nature reserve Heilongjiang Bayi Agricultural University，HBAU Heilongjiang Fenghuang Shan National Nature Reserve Heilongjiang Fenglin National Nature Reserve Heilongjiang Huzhong National Nature Reserve Heilongjiang Ice Stadium Heilongjiang Jiayin Dinosaur National Geopark Heilongjiang Liangshui natioanl nature reserve Heilongjiang Liangshui National Nature Reserve Heilongjiang Library Heilongjiang Maolangou national nature reserve Heilongjiang Mingshui national nature reserve Heilongjiang Mudanfeng national nature reserve Heilongjiang Museum of Ethnography Heilongjiang Naoli He National Nature Reserve Heilongjiang Opera School

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。