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