Формализованный язык для описания теории комплексных гиперрациональных чисел

Ю.Н. Ловягин, Е.В. Праздникова

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборникенаучная

Аннотация

Описывается формализованный язык исчисления предикатов, в которм излагается теория комплексных гиперрациональных чисел
Язык оригиналане определен
Название основной публикацииПоэт, ученый, педагог (Всеросс. Конференция, посв. 100-летию со дня рождения Н.А.Фролова)
СостояниеОпубликовано - 2009
Опубликовано для внешнего пользованияДа

Цитировать