Пошуковий запит: (<.>K=ФОРМАЛЬН$<.>+<.>K=ПОДЗАГОЛОВК$<.>) |
Загальна кількість знайдених документів : 27
Представлено документи з 1 до 20
|
| |
1. | Нестеренко Б.Б. Формальнi засоби моделювання паралельних процесiв та систем. - К. : [б. и.], 2012. - 334 с.. - (Працi Iнституту математики НАН Украєни : т. 90)
|
2. | Беклемишев Л.Д. Схемы рефлексии в формальной арифметике : Автореф. дис. ... докт. физ.-мат. наук: 01.01.06. - М. : [б. и.], 1998. - 19 с.
|
3. | Кузнецов В.А. Некоторые вопросы теории множеств с точки зрения формальной системы ? генценовского типа. - К. : [б. и.], 1992. - 51 с. ; (Препр./АН Украины; Институт математики; № 92.21)
|
4. | Кузнецов В.А. Метод вынуждения с точки зрения формальной системы ... генценовского типа. - К. : [б. и.], 1991. - 59 с. ; (Препр./АН УССР; Институт математики; № 91.19)
|
5. | Кузнецов В.А. Теория множеств с точки зрения формальной системы генценовского типа. - К. : [б. и.], 1990. - 63 с. ; (Препр./АН УССР; Институт математики; № 90.13)
|
6. | Кузнецов В.А. Классическая дескриптивная теория множеств с точки зрения формальной системы ? генценовского типа. - К. : [б. и.], 1990. - 63 с. ; (Препр./АН УССР; Институт математики; № 90.40)
|
7. | Рейуорд-Смит В.Дж. Теория формальных языков : Вводный курс. Пер. с англ. - М. : [б. и.], 1988. - 128 с.
|
8. | Антимиров В.М. Методы и средства построения формальных спецификаций : Автореф. дис... канд. физ.-мат. наук: 01.01.09. - К. : [б. и.], 1988. - 16 с.
|
9. | АН СССР. Научный совет по комплексной проблеме "Кибернетика". Проблемы разработки формальной модели языка. - М. : [б. и.], 1988. - 174 с.. - (Вопросы кибернетики : вып.137)
|
10. | Саломаа А. Жемчужины теории формальных языков. - М. : [б. и.], 1986. - 159 с.
|
11. | Бухштабер В.М. Двузначные формальные группы. Алгебраическая теория и топологические приложения : Автореф. дис. ... докт. физ.-мат. наук: 01.01.04. - Тбилиси : [б. и.], 1984. - 19 с.
|
12. | ВИНИТИ. Исследования по неклассическим логикам и формальным системам : Сб. науч. работ. - М.: : [б. и.], 1983. - 359 с.
|
13. | Бухштабер В.М. Двузначные формальные группы. Алгебраическая теория и топологические приложения : Автореф. дис. ... докт. физ.-мат. наук. - М. : [б. и.], 1979. - 15 с.
|
14. | Барашко А.С.АН УССР.. Ин-т прикладной математики и механики. Исследование по теории сложности вычислений и формальным языкам. - К.: : [б. и.], 1978. - 173 с.
|
15. | Басов В.В. Формальная и аналитическая эквивалентность вещественных аналитических систем дифференциальных уравнений : Автореф. дис. ... канд. физ.- мат. наук. - Л. : [б. и.], 1978. - 10 с.
|
16. | Дорошко Н.Н. Формальное описание алгоритмов интерпретации языка разговорного программирования. - Минск : [б. и.], 1977. - 27 с. ; (Препр./АН БССР; Институт математики; № 2)
|
17. | Формальная логика : Учеб. для университетов. - Л.: : [б. и.], 1977. - 457 с.
|
18. | Гладкий А.В. Формальные грамматики и языки. - М.: : [б. и.], 1973. - 368 с. : с библ.
|
19. | Гросс М. Теория формальных грамматик : Пер. с фр.. - М.: : [б. и.], 1971. - 294 с. : с библ.
|
20. | Павлоцкий И.П. Проблемы статистической механики нелагранжевых систем : 1. Формальные решения уравнения Лиувилля. - М. : [б. и.], 1969. - 31 с. ; (Препр./АН СССР; Институт прикладной математики; № 11)
|
| |