Application of constraints to formal verification and artificial intelligence

标题
Application of constraints to formal verification and artificial intelligence
作者
关键词
-
出版物
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Volume 70, Issue 4, Pages 313-314
出版商
Springer Nature
发表日期
2014-04-27
DOI
10.1007/s10472-014-9412-z

向作者/读者发起求助以获取更多资源

Reprint

联系作者

Create your own webinar

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started