ACE313 发表于 2025-3-21 19:10:09

书目名称Smart Computing and Communication影响因子(影响力)<br>        http://figure.impactfactor.cn/if/?ISSN=BK0868694<br><br>        <br><br>书目名称Smart Computing and Communication影响因子(影响力)学科排名<br>        http://figure.impactfactor.cn/ifr/?ISSN=BK0868694<br><br>        <br><br>书目名称Smart Computing and Communication网络公开度<br>        http://figure.impactfactor.cn/at/?ISSN=BK0868694<br><br>        <br><br>书目名称Smart Computing and Communication网络公开度学科排名<br>        http://figure.impactfactor.cn/atr/?ISSN=BK0868694<br><br>        <br><br>书目名称Smart Computing and Communication被引频次<br>        http://figure.impactfactor.cn/tc/?ISSN=BK0868694<br><br>        <br><br>书目名称Smart Computing and Communication被引频次学科排名<br>        http://figure.impactfactor.cn/tcr/?ISSN=BK0868694<br><br>        <br><br>书目名称Smart Computing and Communication年度引用<br>        http://figure.impactfactor.cn/ii/?ISSN=BK0868694<br><br>        <br><br>书目名称Smart Computing and Communication年度引用学科排名<br>        http://figure.impactfactor.cn/iir/?ISSN=BK0868694<br><br>        <br><br>书目名称Smart Computing and Communication读者反馈<br>        http://figure.impactfactor.cn/5y/?ISSN=BK0868694<br><br>        <br><br>书目名称Smart Computing and Communication读者反馈学科排名<br>        http://figure.impactfactor.cn/5yr/?ISSN=BK0868694<br><br>        <br><br>

Flu表流动 发表于 2025-3-21 23:02:10

http://reply.papertrans.cn/87/8687/868694/868694_2.png

KEGEL 发表于 2025-3-22 04:16:06

http://reply.papertrans.cn/87/8687/868694/868694_3.png

Factual 发表于 2025-3-22 05:35:17

Fenna Zhang,Yaoguang Qi,Long Pan,Yong Yang,Hao Zhang,Yao Yaoain strengths are for symbolic rather than for numerical computation. The developers of the language were researchers working on automating mathematical theorem proving. This field is often known as computation978-1-84628-212-6

不足的东西 发表于 2025-3-22 10:02:35

http://reply.papertrans.cn/87/8687/868694/868694_5.png

reserve 发表于 2025-3-22 15:09:37

Chen Fu,Fu Bingain strengths are for symbolic rather than for numerical computation. The developers of the language were researchers working on automating mathematical theorem proving. This field is often known as computation978-1-84628-212-6

书法 发表于 2025-3-22 19:52:21

Hui Zhao,Meikang Qiu,Keke Gai,Jie Li,Xin He in the field of Artificial Intelligence. Although it is a general-purpose language, its main strengths are for symbolic rather than for numerical computation. The developers of the language were researchers working on automating mathematical theorem proving. This field is often known as computation

银版照相 发表于 2025-3-22 23:20:25

Junliang Lu,Wei Hu,Yonghao Wang,Lin Li,Peng Ke,Kai Zhang in the field of Artificial Intelligence. Although it is a general-purpose language, its main strengths are for symbolic rather than for numerical computation. The developers of the language were researchers working on automating mathematical theorem proving. This field is often known as computation

左右连贯 发表于 2025-3-23 02:47:27

http://reply.papertrans.cn/87/8687/868694/868694_9.png

东西 发表于 2025-3-23 05:34:15

http://reply.papertrans.cn/87/8687/868694/868694_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Smart Computing and Communication; First International Meikang Qiu Conference proceedings 2017 Springer International Publishing AG 2017 c