“希尔伯特-弗雷格式系统”的概念、定义、翻译、参考文献-科学参考

单词	希尔伯特-弗雷格式系统
释义	希尔伯特-弗雷格式系统 Computer 人工智能人工智能逻辑释文 Hilbert-style deduction system希尔伯特式演绎系统
随便看	expansion silencer expansion slot Expansions on Three Theories: On Poetry expansion test expansion theorem expansion thermometer expansion time-scale expansion tong expansion turbine expansion type temperature measurement expansion valve expansion wave expansion wave of reflection and intersection expansion work expansive expansive agents for concrete expansive cement expansive classification expansive concrete expansive constant expansive homeomorphism expansive map expansive mapping expansiveness expansive operator

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