Электронный каталог

Книга
УДК 621.398 В949

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

621.398 В949

Тезаурус = ГАСНТИ 50.39
Тезаурус = Автоматика. Вычислительная техника : вычислительные сети (ВС) и системы
Тезаурус = ГАСНТИ 27.45
Тезаурус = Математика : дискретная, комбинаторный анализ,теория графов

931395 Кх