Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
Логические методы в информатике : сборник научных трудов / Институт математики (Новосибирск) ; Российская академия наук, Сибирское отделение, Институт математики ; науч. ред. : Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : [б. и.], 1993. - 176 c. : ил., табл. - (Вычислительные системы ; вып. 148.). - Библиогр. в конце ст.. - ISBN 5762306755
Кл.слова (ненормированные):
математика -- программирование -- языки спецификаций (математика) -- операционная семантика (математика) -- денотационная семантика (математика) -- прикладная логика -- логическое программирование -- искусственный интеллект -- информатика -- экспертные системы (математика) -- математические исследования (XX век)
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Гончаров, Сергей Савостьянович \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Логические методы в информатике : сборник научных трудов / Институт математики (Новосибирск) ; Российская академия наук, Сибирское отделение, Институт математики ; науч. ред. : Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : [б. и.], 1993. - 176 c. : ил., табл. - (Вычислительные системы ; вып. 148.). - Библиогр. в конце ст.. - ISBN 5762306755
| УДК |
Кл.слова (ненормированные):
математика -- программирование -- языки спецификаций (математика) -- операционная семантика (математика) -- денотационная семантика (математика) -- прикладная логика -- логическое программирование -- искусственный интеллект -- информатика -- экспертные системы (математика) -- математические исследования (XX век)
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Гончаров, Сергей Савостьянович \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Теория вероятностей. Математическая статистика. Теоретическая кибернетика / Академия наук СССР, Всесоюзный институт научной и технической информации ; науч. ред. Р. В. Гамкрелидзе. - Москва : [б. и.], 1983 - . - (Итоги науки и техники).
т. 20 / Академия наук СССР, Всесоюзный институт научной и технической информации. - 167 c. : ил. - Библиогр. : с. 147-166
Рубрики: вероятностей теория--сборники
математическая статистика--сборники
кибернетика--сборники
Кл.слова (ненормированные):
автомодельные случайные поля -- теория вероятностей -- ренормализационные преобразования -- алгоритмические языки -- теория критических явлений (статистическая физика) -- ренормализационной группы метод -- рекурсивность -- линейные отображения -- квантовые стохастические процессы -- семантика алгоритмических языков -- теоретическая кибернетика -- логические языки -- денотационная семантика
Доп.точки доступа:
Гамкрелидзе, Реваз Валерианович \ед.\
Академия наук СССР. Всесоюзный институт научной и технической информации
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Теория вероятностей. Математическая статистика. Теоретическая кибернетика / Академия наук СССР, Всесоюзный институт научной и технической информации ; науч. ред. Р. В. Гамкрелидзе. - Москва : [б. и.], 1983 - . - (Итоги науки и техники).
т. 20 / Академия наук СССР, Всесоюзный институт научной и технической информации. - 167 c. : ил. - Библиогр. : с. 147-166
| УДК |
Рубрики: вероятностей теория--сборники
математическая статистика--сборники
кибернетика--сборники
Кл.слова (ненормированные):
автомодельные случайные поля -- теория вероятностей -- ренормализационные преобразования -- алгоритмические языки -- теория критических явлений (статистическая физика) -- ренормализационной группы метод -- рекурсивность -- линейные отображения -- квантовые стохастические процессы -- семантика алгоритмических языков -- теоретическая кибернетика -- логические языки -- денотационная семантика
Доп.точки доступа:
Гамкрелидзе, Реваз Валерианович \ед.\
Академия наук СССР. Всесоюзный институт научной и технической информации
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Страница 1, Результатов: 2