|
651 |
Applying Markov logics for controlling abox abduction Nafissi, Anahita. - Berlin : mbv, 2013
|
|
|
652 |
Artificial general intelligence Heidelberg : Springer, 2013
|
|
|
653 |
Artificial intelligence applications and innovations Heidelberg : Springer, 2013
|
|
|
654 |
Artificial intelligence, evolutionary computing and metaheuristics Berlin : Springer, 2013
|
|
|
655 |
Artificial neural networks Hagenauer, Julian Christian, 2013
|
|
|
656 |
Artificial neural networks and machine learning Heidelberg : Springer, 2013
|
|
|
657 |
Aspects of computational intelligence: theory and applications Berlin : Springer, 2013
|
|
|
658 |
Auditory image understanding for the visually impaired based on a modular computer vision sonification model Banf, Michael, 2013
|
|
|
659 |
Augmented post systems Šeremet, Igorʹ A.. - Berlin : I. A. Sheremet, 2013
|
|
|
660 |
Automated deduction Berlin : Springer, 2013
|
|