Artificial Intelligence and Symbolic Computation: Proc./12th International Conference, AISC 2014, Seville, Spain, December 2014 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2014

Ключевые слова:

алгебраический

топология

автоматический

доказательство

логический вывод

causal inferences

извлечение знаний

верификация

логический

символьные вычисления

машинное обучение

математический

механический

технология

Стр.:

206 p.

Редактор:

Aranda-Corral G. A.

Martin-Mateos F. J.

Место издания:

Издательство:

Серия:

Lecture Notes in Artificial Intelligence

Том:

8884

Карточка:

Artificial Intelligence and Symbolic Computation: Proc./12th International Conference, AISC 2014, Seville, Spain, December 2014Ed. by Aranda-Corral G. A., Calmet J., Martin-Mateos F. J..-Berlin.: Springer, 2014.-Vol. 8884.-206 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке:

MONO11 23