Intelligent Computer Mathematics: Proc./11th International Conference, CICM 2018, Hagenberg, Austria, August 2018 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2018

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

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

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

разметка

программное обеспечение

библиотека

алгоритмическая математика

формализованный

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

компьютерная алгебра

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

proof assistants

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

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

язык представления

формальная семантика

интеграция

взаимодействие

Стр.:

287 p.

Редактор:

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

Том:

11006

Карточка:

Intelligent Computer Mathematics: Proc./11th International Conference, CICM 2018, Hagenberg, Austria, August 2018Ed. by Rabe F., Farmer W. M., Passmore G.O., Youssef A..-Berlin., 2018.-Vol. 11006.-287 p.