Маркер записи | n |
Контрольный номер | RU/IS/BASE/602773985 |
Дата корректировки | 7:56:33 7 февраля 2019 г. |
ISBN | 5-02-028576-5 |
Вид содержания и средства доступа | 3-10 |
0208-0060 | |
Служба первич. каталог. |
Лапко БГТУ |
Код языка каталог. | rus |
Правила каталог. | PSBO |
Код языка издания | rus |
Индекс УДК | 510.6(082) |
Полочн. индекс | 51 |
Авторский знак | Т33 |
Автор | Белеградек, О. В. |
Теория моделей и ее применения Текст сборник научных трудов Академия наук СССР, Сибирское отделение ; отв. ред. чл.-кор. АН СССР Ю. Л. Ершов ; [редкол.: акад. С. Л. Соболев (гл. ред.) и др.] |
|
Место издания | Новосибирск |
Издательство | Наука, Сибирское отделение |
Дата издания оригинала | 1988 |
Объем | 181, [3] с. |
Серия | Труды института математики |
N тома | т. 8 |
Аннотация | В сборник вошли статьи, посвященные различным аспектам современной теории моделей и математической логики. |
математика теория моделей стабильные теории полигонов применение теории моделей математическая логика теория стабильности неклассическая теория моделей теория нумераций теория программирования |
|
Другие авторы | Воронков, А. А. |
Гончаров, С. С. Зильбер, Б. И. Мустафин, Т. Г. Палютин, Е. А. Ряскин, А. Н. |
|
Организация/ юрисдикция | Академия наук СССР |
Другие уровни | Сибирское отделение |
Тип документа | s |