Пошуковий запит: (<.>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). - Б. ц.
|
| | |
Простий
Національна бібліотека України імені В. І. Вернадського
