Системы Theorema и автоматизация дедукции: сравнительный анализ

Анисимов, А. В.; Джебелян, Т.; Лялецкий, А. В.; Попов, Н.


	Наукова періодика України		Control systems & computers

Анисимов А. В.
Системы Theorema и автоматизация дедукции: сравнительный анализ / А. В. Анисимов, Т. Джебелян, А. В. Лялецкий, Н. Попов // Управляющие системы и машины. - 2011. - № 4. - С. 59-63, 77. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2011_4_9

Рассмотрены основные парадигмы обработки математических знаний и обозначено место среди них систем Theorema и автоматизация дедукции. Описаны сравнительный анализ систем, общие черты их построения и различие в методах обработки данных.

Повний текст PDF - 369.876 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Бібліографічний опис для цитування:

Анисимов А. В. Системы Theorema и автоматизация дедукции: сравнительный анализ / А. В. Анисимов, Т. Джебелян, А. В. Лялецкий, Н. Попов // Управляющие системы и машины. - 2011. - № 4. - С. 59-63, 77. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2011_4_9.

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача