Поиск :
Личный кабинет :
Электронный каталог: Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование
Экз. чит. зала
Книга
Автор:
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование : Сборник статей
1992 г.
ISBN 5-7623-0417-5
Автор:
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование : Сборник статей
1992 г.
ISBN 5-7623-0417-5
На полку
Книга
УДК 621.398 В949
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование : Сборник статей / Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева. – 1992. – 201 с. – ISBN 5-7623-0417-5 : 150.00.
621.398 В949
Тезаурус = ГАСНТИ 50.39
Тезаурус = ГАСНТИ 27.03
Тезаурус = ГАСНТИ 50.05
Тезаурус = Автоматика. Вычислительная техника : вычислительные сети (ВС) и системы
Тезаурус = Математика : основания математики и математическая логика
Тезаурус = Автоматика. Вычислительная техника : Теоретические основы программирования
Книгообеспеченность = Профессиональный цикл : Вариативная часть : Прикладная семиотика - доп
996010 Кх
УДК 621.398 В949
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование : Сборник статей / Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева. – 1992. – 201 с. – ISBN 5-7623-0417-5 : 150.00.
621.398 В949
Тезаурус = ГАСНТИ 50.39
Тезаурус = ГАСНТИ 27.03
Тезаурус = ГАСНТИ 50.05
Тезаурус = Автоматика. Вычислительная техника : вычислительные сети (ВС) и системы
Тезаурус = Математика : основания математики и математическая логика
Тезаурус = Автоматика. Вычислительная техника : Теоретические основы программирования
Книгообеспеченность = Профессиональный цикл : Вариативная часть : Прикладная семиотика - доп
996010 Кх