“Two-Sorted Type Theory”的概念、定义、翻译、参考文献-科学参考

单词	Two-Sorted Type Theory
释义	Two-Sorted Type Theory Encyclopedia 文学内涵性释 Two-Sorted Type Theory两体类型论一种语义组合原则理论。由德国哲学家、数学家G.弗雷格提出。
随便看	optimality principle optimality property optimal law optimal level of arousal optimal linear extrapolation optimal linear filtering optimal linear interpolation optimal linear prediction optimal linear predictor optimal location optimal merge tree optimal method optimal model optimal multiprogramming optimal open-loop control optimal operational scale of grassland livestock industry optimal operation of distributed energy system under off-design condition optimal optical orthogonal code optimal parallel algorithm optimal parameter optimal path optimal path analysis optimal performance of thermodynamic process and cycle optimal planning optimal policy

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