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