Поисковый запрос: (<.>K=СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНие<.>) |
Общее количество найденных документов : 7
Показаны документы с 1 по 7 |
>1.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 114 : Логические вопросы теории типов данных : сборник научных трудов. - Новосибирск : Институт математики
, 1986. - 140 с. (
2 экз. )
|
>2.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 116 : Прикладная логика : сборник научных трудов. - Новосибирск : Институт математики
, 1986. - 166 с. (
2 экз. )
|
>3.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 133 : Логические методы в программировании : сборник научных трудов. - Новосибирск : Институт математики
, 1990. - 188[2] с. (
2 экз. )
|
>4.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 139 : Теория вычислимости и языки спецификаций : сборник научных трудов. - Новосибирск : Институт математики
, 1991. - 192[2] с. (
1 экз. )
|
>5.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 146 : Логика и семантическое программирование : сборник научных трудов. - Новосибирск : Институт математики
, 1992. - 202[3] с. (
1 экз. )
|
>6.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 148 : Логические методы в программировании : сборник научных трудов. - Новосибирск : Институт математики
, 1993. - 176 с. (
1 экз. )
|
>7.
| Вычислительные системы [] : Сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева. Вып. 152 : Теория вычислений и языки спецификаций. - Новосибирск
, 1995. - 220 с. (
1 экз. )
|
|