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