Standard

Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением. / Конюхова, А.Б.; Нечитайлов, Ю.В.

Материалы международной научной конференции “Седьмые Смирновские чтения по логике”. 2011. p. 25-27.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Harvard

Конюхова, АБ & Нечитайлов, ЮВ 2011, Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением. in Материалы международной научной конференции “Седьмые Смирновские чтения по логике”. pp. 25-27.

APA

Конюхова, А. Б., & Нечитайлов, Ю. В. (2011). Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением. In Материалы международной научной конференции “Седьмые Смирновские чтения по логике” (pp. 25-27)

Vancouver

Конюхова АБ, Нечитайлов ЮВ. Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением. In Материалы международной научной конференции “Седьмые Смирновские чтения по логике”. 2011. p. 25-27

Author

Конюхова, А.Б. ; Нечитайлов, Ю.В. / Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением. Материалы международной научной конференции “Седьмые Смирновские чтения по логике”. 2011. pp. 25-27

BibTeX

@inproceedings{9d05f68087744540a5bbe5dd2fcdbb10,
title = "Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением",
author = "А.Б. Конюхова and Ю.В. Нечитайлов",
year = "2011",
language = "не определен",
pages = "25--27",
booktitle = "Материалы международной научной конференции “Седьмые Смирновские чтения по логике”",

}

RIS

TY - GEN

T1 - Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением

AU - Конюхова, А.Б.

AU - Нечитайлов, Ю.В.

PY - 2011

Y1 - 2011

M3 - статья в сборнике материалов конференции

SP - 25

EP - 27

BT - Материалы международной научной конференции “Седьмые Смирновские чтения по логике”

ER -

ID: 4788984