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影響因子(影響力)學(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é)科排名

閃光東本

Bravura

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

技術(shù)

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

誓言

合唱團

驚惶