Standard

Формализованный язык для описания теории комплексных гиперрациональных чисел. / Ловягин, Ю.Н.; Праздникова, Е.В.

Поэт, ученый, педагог (Всеросс. Конференция, посв. 100-летию со дня рождения Н.А.Фролова). 2009.

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

Harvard

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

APA

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

Vancouver

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

Author

Ловягин, Ю.Н. ; Праздникова, Е.В. / Формализованный язык для описания теории комплексных гиперрациональных чисел. Поэт, ученый, педагог (Всеросс. Конференция, посв. 100-летию со дня рождения Н.А.Фролова). 2009.

BibTeX

@inbook{e6299e55b8bc42e694cbf8ffa2fce256,
title = "Формализованный язык для описания теории комплексных гиперрациональных чисел",
abstract = "Описывается формализованный язык исчисления предикатов, в которм излагается теория комплексных гиперрациональных чисел",
keywords = "язык исчисления предикатов. Формализованные теории. Комплексные гиперрациональные числа.",
author = "Ю.Н. Ловягин and Е.В. Праздникова",
year = "2009",
language = "не определен",
booktitle = "Поэт, ученый, педагог (Всеросс. Конференция, посв. 100-летию со дня рождения Н.А.Фролова)",

}

RIS

TY - CHAP

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

AU - Ловягин, Ю.Н.

AU - Праздникова, Е.В.

PY - 2009

Y1 - 2009

N2 - Описывается формализованный язык исчисления предикатов, в которм излагается теория комплексных гиперрациональных чисел

AB - Описывается формализованный язык исчисления предикатов, в которм излагается теория комплексных гиперрациональных чисел

KW - язык исчисления предикатов. Формализованные теории. Комплексные гиперрациональные числа.

M3 - статья в сборнике

BT - Поэт, ученый, педагог (Всеросс. Конференция, посв. 100-летию со дня рождения Н.А.Фролова)

ER -

ID: 4444037