求皮鞭就蜡烛
软件形式化与自动推理是什么 软件形式化与自动推理
1,什么是人工智能？ 人工智能（计算机科学的一个分支）人工智能（ArtificialIntelligence），英文缩写为AI。 它是研究、开发用于模拟、延伸和扩展人的智能的理论、方法、技术及应用系统的一门新的技术科...
用户登录
还没有账号?立即注册
用户注册
投稿取消
| 文章分类: |
|
还能输入300字
上传中....
