Titlebook: Model Checking and Artificial Intelligence; 5th International Wo Doron A. Peled,Michael J. Wooldridge Conference proceedings 2009 Springer-

charter

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




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




書目名稱Model Checking and Artificial Intelligence網絡公開度




書目名稱Model Checking and Artificial Intelligence網絡公開度學科排名




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




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




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




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




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




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

閃光東本

Bravura

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

技術

https://doi.org/10.1007/978-3-642-00431-5AI logics; European Conference on Artificial Intelligence; abstraction; artificial intelligence; automat

Barter

0302-9743 OCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were care

amnesia

四溢

Conference proceedings 20098, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully sele

誓言

合唱團

驚惶