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