Web ИРБИС

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 148 : Логические методы в программировании : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1993. - 176 с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.7
681.324
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- ЯЗЫКИ СПЕЦИФИКАЦИЙ -- СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 146 : Логика и семантическое программирование : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1992. - 202[3] с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.68
681.324
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- ПРИКЛАДНАЯ ЛОГИКА -- СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- МОДЕЛИРОВАНИЕ
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 133 : Логические методы в программировании : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1990. - 188[2] с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06:510.6
681.324
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ПРИКЛАДНАЯ ЛОГИКА -- семантическое программирование
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 139 : Теория вычислимости и языки спецификаций : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1991. - 192[2] с. : ил. - Библиогр. в конце ст. - ISBN 5-7623-0102-8 (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.324
519.682
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- теория вычислимости -- языки спецификаций -- ПРИКЛАДНАЯ ЛОГИКА -- СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНие -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 116 : Прикладная логика : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1986. - 166 с. - Библиогр. в конце ст. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
681.324
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- обработка данных -- описания данных -- представления данных -- семантическое программирование -- прикладная логика
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 114 : Логические вопросы теории типов данных : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1986. - 140 с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.324
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- обработка данных -- анализ данных -- описания данных -- представления данных -- семантическое программирование -- прикладная логика
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)

681.3
В-949

    Вычислительные системы : сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева. - Новосибирск : [б. и.], 1995 - .
   Вып. 152 : Теория вычислений и языки спецификаций. - Новосибирск : [б. и.], 1995. - 220 с. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.324
510.6
~РУБ 681.3

Кл.слова (ненормированные):
теория вычислений -- языки спецификаций -- программирование -- семантическое программирование -- прикладная логика -- программная логика -- ресурсная динамическая логика -- RDL -- S-программы -- языки действий -- естественные языки -- СИГМА-Т3 -- теория алгоритмов -- вычислительные системы
Доп.точки доступа:
Российская Академия наук. Сибирское отделение
Институт математики им. С. Л. Соболева

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)

request_decrypt("(<.>K=СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ<.>)","");