Результаты поиска авторов

Конструктивные модели / Сергей С.Гончаров, Юрий Л.Ершов. - Новосибирск : Науч. кн., 1999. - XII, 345 с. - (Сибирская школа алгебры и логики)

“...Гончаров, С. С. (род. 1951) Сергей Савостьянович...”

Математические модели и вычислительные структуры : [сборник статей] / научные редакторы: С. С. Гончаров, К. Ф. Самохвалов. — Новосибирск : Институт математики имени С. Л. Соболева СО РАН, 2004. — 197 с., [2] л. схемы. — (Вычислительные системы ; вып. 173)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Логико-математические основы проблемы МОЗ : [сборник статей] / научные редакторы: Ю. Г. Косарев, С. С. Гончаров. — Новосибирск : Институт математики СО АН СССР, 1985. — 150 с. — (Вычислительные системы ; вып. 107)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Труды Международной конференции "Логика и приложения", посвященной 60-летию со дня рождения академика Ю.Л.Ершова, Международной конференции по математической логике, посвященной 90-летию со дня рождения А.И.Мальцева и 275-летию Российской академии наук / Гл. ред. С.С.Гончаров. - Новосибирск : НГУ, 2002. - 244 с.

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Обобщенная вычислимость и определимость : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО РАН, 1998. — 170 с. — (Вычислительные системы ; вып. 161)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Структурные алгоритмические свойства вычислимости : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО РАН, 1996. — 147 с. — (Вычислительные системы ; вып. 156)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Введение в логику и методологию науки: Учеб. пособие / С.С.Гончаров, Ю.Л.Ершов, К.Ф.Самохвалов. - М. : Фирма "ИНТЕРПРАКС" : Новосибирск, Ин-т математики СО РАН, 1994. - 255 с.

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Структурные и сложностные проблемы вычислимости : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики имени С. Л. Соболева СО РАН, 1999. — 202 с. — (Вычислительные системы ; вып. 165)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Теория вычислений и языки спецификаций : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО РАН, 1995. — 213 с. — (Вычислительные системы ; вып. 152)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Логические методы в программировании : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО АН СССР, 1987. — 158 с. — (Вычислительные системы ; вып. 120)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Логические вопросы теории типов данных : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО АН СССР, 1986. — 136 с. — (Вычислительные системы ; вып. 114)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Языки спецификаций и логическое программирование : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО АН СССР, 1988. — 143 с. — (Вычислительные системы ; вып. 124)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Прикладные аспекты математической логики : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО АН СССР, 1987. — 162 с. — (Вычислительные системы ; вып. 122)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Теория вычислимости и языки спецификаций : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО АН СССР, 1991. — 187 с. — (Вычислительные системы ; вып. 139)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Прикладная логика : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО АН СССР, 1986. — 161 с., [1] л. табл. — (Вычислительные системы ; вып. 116)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Логические методы в программировании : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО АН СССР, 1990. — 185 с. — (Вычислительные системы ; вып. 133)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Теория алгоритмов и ее приложения : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО АН СССР, 1989. — 194 с. — (Вычислительные системы ; вып. 129)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Логические методы в информатике : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО РАН, 1993. — 172 с. — (Вычислительные системы ; вып. 148)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Логика и семантическое программирование : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО РАН, 1992. — 198 с. — (Вычислительные системы ; вып. 146)

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”

Юрий Леонидович Ершов: биобиблиографический указатель / Российская академия наук, Сибирское отделение, Институт математики им. С. Л. Соболева. - 2-е изд., дополненное и переработанное. - Новосибирск : Издательство Института математики, 2010. - 91, [1] с.

Другие авторы/ответственные: '; “...Гончаров, С. С. (род. 1951)...”