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

单词	Herbrand theorem
释义	Herbrand theorem Mathematics ＞数理逻辑与数学基础＞证明论＞释义证明论proof theory Herbrand theorem埃尔布朗定理 Herbrand theorem埃尔布朗定理
随便看	Sir Herbert Butterfield Sir Hersch Lauterpacht Sir Hiram Stevens Maxim Sir Humphry Davy Sirian companion siriometer Sir Isaac Newton Sirius Sirius satellites Sir J.J. School of Art,Bombay Sir John Hubert Marshall Sir John Soane's Museum Sir John Warcup Cornforth Sirkka Turkka Sir Louis-Hippolyte LaFontaine SIR man-machine dialogue system Sir Martin Ryle Sir Michael James Lighthill Sirmilik National Park SIR model siRNA Sir Napier Shaw sirocco fan sirofil spinning sirolimus

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