Поиск :
Личный кабинет :
Электронный каталог: Вычислительные системы. Вып.114. Логические вопросы теории типов данных
Вычислительные системы. Вып.114. Логические вопросы теории типов данных
Доступно
1 из 1
1 из 1
Книга
Автор:
Вычислительные системы. Вып.114. Логические вопросы теории типов данных : сборник научных трудов
Издательство: [б.и.], 1986 г.
ISBN отсутствует
Автор:
Вычислительные системы. Вып.114. Логические вопросы теории типов данных : сборник научных трудов
Издательство: [б.и.], 1986 г.
ISBN отсутствует
Заказать 
На полку
Книга
УДК 621.398 В949
Вычислительные системы. Вып.114. Логические вопросы теории типов данных : сборник научных трудов / АН СССР. Сиб. отд-ние. Ин-т математики ; гл. ред. Ю. Г. Косарев ; науч. ред. Ю. Л. Ершов, С. С. Гончаров. – Новосибирск : [б.и.], 1986. – 139с.
621.398 В949
Тезаурус = ГАСНТИ 50.39
Тезаурус = Автоматика. Вычислительная техника : вычислительные сети (ВС) и системы
Тезаурус = ГАСНТИ 27.45
Тезаурус = Математика : дискретная, комбинаторный анализ,теория графов
892560 Кх
УДК 621.398 В949
Вычислительные системы. Вып.114. Логические вопросы теории типов данных : сборник научных трудов / АН СССР. Сиб. отд-ние. Ин-т математики ; гл. ред. Ю. Г. Косарев ; науч. ред. Ю. Л. Ершов, С. С. Гончаров. – Новосибирск : [б.и.], 1986. – 139с.
621.398 В949
Тезаурус = ГАСНТИ 50.39
Тезаурус = Автоматика. Вычислительная техника : вычислительные сети (ВС) и системы
Тезаурус = ГАСНТИ 27.45
Тезаурус = Математика : дискретная, комбинаторный анализ,теория графов
892560 Кх