Model checking and artificial intelligence : 6th international workshop, MoChArt 2010, Atlanta, GA,

Model checking and artificial intelligence : 6th international workshop MoChArt 2010 Atlanta GA

出版社：Berlin ; New York : Springer, c2011.

ISBN：9783642206733

出版年：2011

作者：MoChArt 2010

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August

作者：MoChArt IV
ISBN：9783540741275
出版社：Berlin ; New York : Springer, c2007.
出版年：2007

Model checking and artificial intelligence : International workshop, MoChArt 2008, Patras, Greece, J

作者：MoChArt 2008
ISBN：9783642004308
出版社：Berlin ; New York : Springer, c2009.
出版年：2009

2018 IEEE/ACM 6th International Workshop on Realizing Artificial Intelligence Synergies in Software

作者：International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering
ISBN：9781538661758
出版社：Piscataway, N.J. : IEEE, 2018.
出版年：2018

Multi-disciplinary trends in artificial intelligence : 6th international workshop, MIWAI 2012, Ho Ch

作者：MIWAI 2012
ISBN：9783642354540
出版社：Berlin : Springer, c2012.
出版年：2012

Progress in artificial intelligence and pattern recognition : 6th International Workshop, IWAIPR 201

作者：IWAIPR 2018
ISBN：9783030011314
出版社：Cham, Switzerland : Springer, 2018.
出版年：2018

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005

作者：VMCAI 2005
ISBN：354024297X
出版社：Berlin ; New York : Springer, c2005.
出版年：2005