Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная
Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением. / Конюхова, А.Б.; Нечитайлов, Ю.В.
Материалы международной научной конференции “Седьмые Смирновские чтения по логике”. 2011. стр. 25-27.Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная
}
TY - GEN
T1 - Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением
AU - Конюхова, А.Б.
AU - Нечитайлов, Ю.В.
PY - 2011
Y1 - 2011
M3 - статья в сборнике материалов конференции
SP - 25
EP - 27
BT - Материалы международной научной конференции “Седьмые Смирновские чтения по логике”
ER -
ID: 4788984