Intelligent Computer Mathematics: Proc./9th Intl Conf AISC 2008/15th Symposium Calculemus 2008/7th Intl Conf MKM 2008. Birmingham, UK, July/August 2008 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2008

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

искусственный интеллект

символьный

вычисления

вычислительная система

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

управление знаниями

приложение

Стр.:

600 p.

Редактор:

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

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

Серия:

Lecture Notes in Artificial Intelligence

Том:

5144

Карточка:

Б4.2, В2.1.

Intelligent Computer Mathematics: Proc./9th Intl Conf AISC 2008/15th Symposium Calculemus 2008/7th Intl Conf MKM 2008. Birmingham, UK, July/August 2008Ed. by Autexier S., Campbell J., Rubio J., Sorge V..-Berlin, Heidelberg.: Springer, 2008.-Vol. 5144.-600 p.-(Lecture Notes in Artificial Intelligence).

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

MONO7 251