登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
Application of constraints to formal verification and artificial intelligence
作者：Velev Miroslav N
*
; Franco John
来源：
Annals of Mathematics and Artificial Intelligence
, 2014, 70(4): 313-314.
DOI：10.1007/s10472-014-9412-z
出版日期
2014-4
全文
全文
访问全文
相似论文
引用论文
参考文献
科研之友
微信
新浪微博
Facebook
分享链接
