“Hilbert-style deduction system”的概念、定义、翻译、参考文献-科学参考

单词	Hilbert-style deduction system
释义	Hilbert-style deduction system Computer 人工智能人工智能逻辑释文 Hilbert-style deduction system希尔伯特式演绎系统
随便看	11-aminoundecanoic acid 11B isotope hydrogeology [11C]2-amino-4-(methylthio)butanoic acid [11C]2-hydroxy-N,N,N-trimethylethanamonium [11C]-carbon monoxide [11C]-choline 1-1 correspondence 11C-Raclopride,(2S)-3,5-dichloro-N-[(1-ethyl-2-pyrrolidinyl)methyl]-6-hydroxy-2-methoxybenzamide [11C]sodium acetate [11C]-β-CFT [11C]一氧化碳 [11C]碳匹兹堡化合物 [11C]碳-甲基-2-β-甲基酯托烷 [11C]胆碱 [11C]雷氯必利 1,1 dichloroethylene 1,1-dichloroethylene 11-dimensional supergravity 1,1 elimination 1,1-elimination 1-1 homomorphism 1-1 mapping (-1, 1)-matrix 1:1 phyllosilicate minerals (1, -1)-ring

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