“方程逻辑”的概念、定义、翻译、参考文献-科学参考

单词	方程逻辑
释义	方程逻辑 Encyclopedia 理学形式化释 equational logic方程逻辑以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。
随便看	deferred shading deff defiber defibrator system defibrillator deficiency deficiency index deficiency inward collapse deficiency loop deficiency number deficiency of a curve deficiency of a matrix deficiency of an operator deficiency of a polarity deficiency of a spline deficiency of both heart and spleen deficiency of both qi and blood deficiency of both qi and yin deficiency of coagulation factor caused by hepatopathy deficiency of either yin or yang deficiency of heart blood deficiency of heart qi deficiency of heart yang deficiency of heart yin deficiency of kidney qi failing to control respiring qi

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