Model checking and artificial intelligence : 6th international workshop, MoChArt, Atlanta, GA, USA, July 11, 2010 (e-book)

Model checking and artificial intelligence : 6th international workshop, MoChArt, Atlanta, GA, USA, July 11, 2010 (e-book) - Berlin Springer 2011 - Lecture Notes in Computer Science (LNCS) v.6572 Lecture Notes in Artificial Intelligence (LNAI) .

978-3-642-20674-0


Computer Science and Engineering
Artificial intelligence --Congresses
Computer software--Congresses
Verification--Congresses
Computer systems--Verification--Congresses

Powered by Koha