【research_institute_for_symbolic_computation】什么意思_英语research_institute_for_symbolic_computation的翻译_音标_读音_用法_例句_在线翻译

research institute for symbolic computation 添加释义

奥地利符号计算研究所

计算机32个算法 奥地利符号计算研究所(Research Institute for Symbolic Computation,简称RISC)的Christoph Koutschan博士在自己的页面上发布了一篇文章,提到他做了一个 ..

基于4个网页-相关网页

符号计算研究所

开普勒大学 (Johannes Kepler University) 符号计算研究所 (Research Institute for Symbolic Computation) 的博士生拉杜 (Silviu Radu) 才将结果推进到了 27。

基于1个网页-相关网页

abstract: The Research Institute for Symbolic Computation (RISC Linz) is a leading research institute in the area of symbolic computation, including automated theorem proving and computer algebra. It is located in Schloß Hagenberg in Hagenberg near Linz in Austria.

以上来源于: WordNet

应用推荐

$firstVoiceSent

- 来自原声例句