Titlebook: Model Checking and Artificial Intelligence; 6th International Wo Ron Meyden,Jan-Georg Smaus Conference proceedings 2011 Springer Berlin Hei

ACRO

書目名稱Model Checking and Artificial Intelligence影響因子(影響力)




書目名稱Model Checking and Artificial Intelligence影響因子(影響力)學(xué)科排名




書目名稱Model Checking and Artificial Intelligence網(wǎng)絡(luò)公開度




書目名稱Model Checking and Artificial Intelligence網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Model Checking and Artificial Intelligence被引頻次




書目名稱Model Checking and Artificial Intelligence被引頻次學(xué)科排名




書目名稱Model Checking and Artificial Intelligence年度引用




書目名稱Model Checking and Artificial Intelligence年度引用學(xué)科排名




書目名稱Model Checking and Artificial Intelligence讀者反饋




書目名稱Model Checking and Artificial Intelligence讀者反饋學(xué)科排名

Cubicle

0302-9743 e 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an

苦笑

Conference proceedings 2011nta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these

誹謗

0302-9743 ques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking.978-3-642-20673-3978-3-642-20674-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

隱士

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/635743.jpg

斑駁

https://doi.org/10.1007/978-3-642-20674-0AI logics; computer aided deduction; deterministic automata; formal methods; logic programming; temporal

百科全書

978-3-642-20673-3Springer Berlin Heidelberg 2011

裁決

Model Checking and Artificial Intelligence978-3-642-20674-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

rheumatology

Ron Meyden,Jan-Georg SmausFast-track conference proceedings.State-of-the-art research.Up-to-date results

exacerbate