中英▼
go top

journal of automated reasoning 添加释义

网络释义英英释义

  编委

... 《Journal of Symbolic Computation》编委 吴文俊 《Journal of Automated Reasoning》编委 吴文俊 《Asia Math》顾问 王 元 ...

基于3个网页-相关网页

  自动推理杂志

【最新】AI期刊影响因子Top 60，谷歌学术过去10年被引最多论文 ... Fuzzy Optimization and Decision Making《模糊最优化与决策》 JOURNAL OF AUTOMATED REASONING《自动推理杂志》 NEURAL PROCESSING LETTERS《神经处理通讯》 ...

基于1个网页-相关网页

Journal of Automated Reasoning

  • abstract: The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992. It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定