Поисковый запрос: (<.>K=прикладная логика<.>) |
Общее количество найденных документов : 12
Показаны документы с 1 по 12 |
1.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 107 : Логико-математические основы проблемы МОЗ : сборник научных трудов. - Новосибирск : Институт математики
, 1985. - 154 с. (
1 экз. )
|
2.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 114 : Логические вопросы теории типов данных : сборник научных трудов. - Новосибирск : Институт математики
, 1986. - 140 с. (
2 экз. )
|
3.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 116 : Прикладная логика : сборник научных трудов. - Новосибирск : Институт математики
, 1986. - 166 с. (
2 экз. )
|
4.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 120 : Логические методы в программировании : сборник научных трудов. - Новосибирск : Институт математики
, 1987. - 161[3] с. (
2 экз. )
|
5.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 129 : Теория алгоритмов и ее приложения : сборник научных трудов. - Новосибирск : Институт математики
, 1989. - 198[4] с. (
2 экз. )
|
6.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 133 : Логические методы в программировании : сборник научных трудов. - Новосибирск : Институт математики
, 1990. - 188[2] с. (
2 экз. )
|
7.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 139 : Теория вычислимости и языки спецификаций : сборник научных трудов. - Новосибирск : Институт математики
, 1991. - 192[2] с. (
1 экз. )
|
8.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 146 : Логика и семантическое программирование : сборник научных трудов. - Новосибирск : Институт математики
, 1992. - 202[3] с. (
1 экз. )
|
9.
| Вычислительные системы [] : Сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева. Вып. 152 : Теория вычислений и языки спецификаций. - Новосибирск
, 1995. - 220 с. (
1 экз. )
|
10.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Языки спецификаций и логическое программирование. - Новосибирск : Институт математики
, 1988. - 148 с. (
2 экз. )
|
11.
| Непейвода, Николай Николаевич. Прикладная логика : Учебное пособие. - Ижевск : Издательство Удмуртского университета
, 1997. - 385 с. (
3 экз. )
|
12.
| Непейвода, Николай Николаевич. Прикладная логика : Учебное пособие для вузов. - Новосибирск : Издательство Новосибирского государственного университета
, 2000. - 490[4] с. (
2 экз. )
|
|
|
Основная база библиотеки
Стандартный