Пошуковий запит: (<.>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). - Б. ц.
|
| |