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

单词	Herbrand theorem
释义	Herbrand theorem Mathematics ＞数理逻辑与数学基础＞证明论＞释义证明论proof theory Herbrand theorem埃尔布朗定理 Herbrand theorem埃尔布朗定理
随便看	iterated iterated algorithm iterated clique graph iterated commutator iterated connecting homomorphism iterated difference iterated exponential iterated forcing iterated function iterated function system iterated function system (IFS) iterated functor iterated integral iterated interpolation method iterated kernel iterated limit iterated logarithm iterated map iterated mapping iterated radical iterated reduced power iterated run-length coding iterated series iterated sum iterated transformation

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