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

单词	希尔伯特弗雷格式系统
释义	希尔伯特弗雷格式系统 Computer 人工智能人工智能逻辑释文 Hilbert-style deduction system希尔伯特式演绎系统
随便看	ba qian juan library Baqiao Qu Baqên Xian bar Barabás Miklós Baraita Barakei＃32, Mishima, Killed by Roses or Ordeal by Roses Barankin Barankin theorem bar association barb barba Barbadians Barbados Barbados Islands barbadoslily Barbados Workers’ Union barbaloin Barbara Barbara Fei Barbara Hall Partee Barbara Hanrahan Barbara Herman Barbara J. Grosz Barbara Kruger

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