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