题目内容
(请给出正确答案)
[多选题]
中国科学院软件研究所2019年12月20日发布了国内首个较为完整的量子程序设计平台,已上线的功能主要包括()等部分,有望为国内自主研制的量子计算机提供更多软件配套。
A.编译器
B.模拟器
C.模型检测工具
D.定理证明器
查看答案
如果结果不匹配,请 联系老师 获取答案
A.编译器
B.模拟器
C.模型检测工具
D.定理证明器
A.2014年12月
B.2018年12月
C.2019年12月
D.2020年12月
A.TBF
B.FBT
C.BMT
D.BFT
1956年10月,中国科学院筹建了中科院自动化及远距离操纵研究所(后更名为中科院自动化所)。()