Liknande böcker

Artificial General Intelligence : 12th International Conference, AGI 201...
Bok av Patrick Hammer
Machine Learning and Data Mining in Pattern Recognition : 9th Internatio...
Bok av Petra. Perner
Emerging Intelligent Computing Technology and Applications : 5th Interna...
Bok av De-Shuang. Huang
Advances in Neural Networks – ISNN 2012 : 9th International Symposium on...
Bok av Jun. Wang
Computers and Games : 7th International Conference, CG 2010, Kanazawa, J...
Bok av H. Jaap. Herik
Unconventional Computation (vol. # 4135) : 5th International Conference,...
Bok av Cristian S. Calude
Modeling Decisions for Artificial Intelligence : 9th International Confe...
Bok av Vicenç. Torra
Computational Intelligence and Intelligent Systems : 5th International S...
Bok av Zhihua. Cai

Automated Deduction - CADE-25

Bok av Amy P Felty