Пошуковий запит: (<.>K=РЕКУРСИВН$<.>+<.>K=ВЗАЄМОДІЯ$<.>) |
Загальна кількість знайдених документів : 69
Представлено документи з 1 до 20
|
| |
1. | Клини С. К. Введение в метаматематику [Електронний ресурс] / С. К. Клини. - М. : Изд-во Иностранной Литературы, 1957. - 526 с.
|
2. | Попов А. И. Введение в математическую логику [Електронний ресурс] / А. И. Попов. - Ленинград : Издательство Ленинградского университета, 1959. - 109 с.
|
3. | Успенский В. А. Лекции о вычислимых функциях [Електронний ресурс] / В. А. Успенский. - М. : Гос. изд-во физико-математической литературы, 1960. - 492 с. - (Математическая логика и основания математики)
|
4. | Алаторцев В. А. Проблемы современной теории шахмат [Електронний ресурс] / В. А. Алаторцев. - М. : Физкультура и спорт, 1960. - 336 с.
|
5. | Генкин Л. О математической индукции [Електронний ресурс] : пер. с англ. / Л. Генкин. - М. : Гос. изд-во физико-математической литературы, 1962. - 36 с.
|
6. | Нгуен В. Х. Лекции по теории унитарной симметрии элементарных частиц [Електронний ресурс] / В. Х. Нгуен. - М. : Атомиздат, 1967. - 345 с.
|
7. | Коэн П. Дж. Теория множеств и континуум-гипотеза [Електронний ресурс] : пер. с англ. / П. Дж. Коэн. - М. : Мир, 1969. - 347 с.
|
8. | Гудстейн Р. Л. Рекурсивный математический анализ [Електронний ресурс] : пер. с англ. / Р. Л. Гудстейн. - М. : Наука, 1970. - 472 с. - (Серия "Математическая логика и основания математики")
|
9. | Альтшулер С. А. Электронный парамагнитный резонанс соединений элементов промежуточных групп [Електронний ресурс] / С. А. Альтшулер, Б. М. Козырев. - М. : Наука, 1972. - 672 с.
|
10. | Баррон Д. Рекурсивные методы в программировании [Електронний ресурс] / Д. Баррон. - М. : Мир, 1974. - 81 с. - (Математическое обеспечение ЭВМ)
|
11. | Токи в физике адронов [Електронний ресурс] : пер. с англ. / В. Де Альфаро [и др.]. - М. : Мир, 1976. - 668 с.
|
12. | Клини С. К. Основания интуиционистской математики с точки зрения рекурсивных функций [Електронний ресурс] : пер. с англ. / С. К. Клини, Р. Ю. Весли. - М. : Наука, 1978. - 271 с.
|
13. | Кон И. С. Открытие "Я" [Електронний ресурс] / И. С. Кон. - М. : Политиздат, 1978. - 368 с. - (Над чем работают, о чём спорят философы)
|
14. | Гильберт Д. Основания математики логические исчисления и формализация арифметики [Електронний ресурс] : пер. с нем. / Д. Гильберт, П. Бернайс. - М. : Наука, 1979. - 652 с. - (Математическая логика и основания математики)
|
15. | Смальян Р. Теория формальных систем [Електронний ресурс] / Р. Смальян. - М. : Наука, 1981. - 207 с. - (Математическая логика и основания математики)
|
16. | Антонью А. Цифровые фильтры. Анализ и проектирование [Електронний ресурс] : пер. с англ. / А. Антонью. - М. : Радио и связь, 1983. - 320 с.
|
17. | Ljung Theory and practice of recursive identification [Електронний ресурс] / Lennart Ljung, Torsten Soderstrom. - Cambridge : MIT Press, 1983. - 523 p.
|
18. | Мишин А. Т. Инфранизкочастотные усилители бионапряжений с гальваническим разделением входа и выхода [Електронний ресурс] / А. Т. Мишин, А. С. Логинов. - М. : Энергоавтомиздат, 1983. - 80 с. - (Б-ка по автоматике; Вып. 637)
|
19. | Ljung L. Theory and practice of recursive identification [Електронний ресурс] / L. Ljung, T. Soederstroem. - Cambridge : The MIT Press, 1983. - 529 p.
|
20. | Wallace M. Communicating with databases in natural language [Електронний ресурс] / M. Wallace. - New York : John Wiley & Sons, 1984. - 170 p.
|
| |