ACRO
发表于 2025-3-21 18:11:07
书目名称Model Checking and Artificial Intelligence影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0635743<br><br> <br><br>书目名称Model Checking and Artificial Intelligence影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0635743<br><br> <br><br>书目名称Model Checking and Artificial Intelligence网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0635743<br><br> <br><br>书目名称Model Checking and Artificial Intelligence网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0635743<br><br> <br><br>书目名称Model Checking and Artificial Intelligence被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0635743<br><br> <br><br>书目名称Model Checking and Artificial Intelligence被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0635743<br><br> <br><br>书目名称Model Checking and Artificial Intelligence年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0635743<br><br> <br><br>书目名称Model Checking and Artificial Intelligence年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0635743<br><br> <br><br>书目名称Model Checking and Artificial Intelligence读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0635743<br><br> <br><br>书目名称Model Checking and Artificial Intelligence读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0635743<br><br> <br><br>
Cubicle
发表于 2025-3-21 22:10:30
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
苦笑
发表于 2025-3-22 01:57:50
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
诽谤
发表于 2025-3-22 06:52:13
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
隐士
发表于 2025-3-22 11:57:23
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/635743.jpg
斑驳
发表于 2025-3-22 15:43:31
https://doi.org/10.1007/978-3-642-20674-0AI logics; computer aided deduction; deterministic automata; formal methods; logic programming; temporal
百科全书
发表于 2025-3-22 18:22:48
978-3-642-20673-3Springer Berlin Heidelberg 2011
裁决
发表于 2025-3-22 22:10:00
Model Checking and Artificial Intelligence978-3-642-20674-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
rheumatology
发表于 2025-3-23 01:30:21
Ron Meyden,Jan-Georg SmausFast-track conference proceedings.State-of-the-art research.Up-to-date results
exacerbate
发表于 2025-3-23 06:26:21
http://reply.papertrans.cn/64/6358/635743/635743_10.png