|
|
Результат поиска |
Поиск книг, содержащих: Редукция
Книга | Страницы для поиска | Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика | 66 | Ленг С. — Алгебра | 467 | Менский М.Б. — Квантовые изменения и декогеренция. Модели и феноменология | 18—20, 29, 33, 40 | Платонов В.П., Рапинчук А.С. — Алгебраические группы и теория чисел | 163, 169 | Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы | 52 | Алексеевский Д.В., Виноградов А.М., Лычагин В.В. — Основные понятия дифференциальной геометрии | 117 | Паули В. — Общие принципы волновой механики | 117, 167 | Реммерт Р., Петернел Т., Грауэрт Г. — Комплексный анализ – многие переменные – 7 | 83, 109, 436 | Гиляров М.С. (ред.) — Биологический энциклопедический словарь | 534а | Скорняков Л.А. — Элементы общей алгебры | 58 | Раус Е.Дж. — Динамика системы твердых тел (том 1) | 91, 92 | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 52, 446, 490, 582, 608 | Филд А., Харрисон П. — Функциональное программирование | 125 | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 289, 294 | Трофимов В.В., Фоменко А.Т. — Алгебра и геометрия интегрируемых гамильтоновых дифференциальных уравнений | 176, п. 15 | Пойа Д. — Математическое открытие | 27—29 | Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 408 | Тахтаджян Л.А., Фаддеев Л.Д. — Гамильтонов подход в теории солитонов | 277, 279, 281, 283 | Арефьев В.А., Лисовенко Л.А. — Англо-русский толковый словарь генетических терминов | 209 | Вершик А.М., Гершкович В.Я., Гамкрелидзе Р.В. (ред.) — Динамические системы - 7. Интегрируемые системы | 58 | Касьянов В.Н. — Оптимизирующие преобразования программ | 284 | Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог | 21, 22, 65, 66, 68, 69 | Славянов С., Лай В. — Специальные функции | 39 | Браун П. (ред.) — Мобильность программного обеспечения | 178 | ван Гиг Дж. — Прикладная общая теория систем (вторая книга) | 27, 28 | Кибрик А.Е. (ред.), Ершов А.П. (ред.) — Моделирование языковой деятельности в интеллектуальных системах | 55, 56, 61, 63, 229, 249, 250, 253 | Жиглявский А.А., Жилинскас А.Г. — Методы поиска глобального экстремума | 18 | Шрейдер Ю.А. — Равенство, сходство, порядок | 134 | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 66 | Ченцов Н.Н., Чернавский А.В. (ред.) — Статические решающие правила и оптимальные выводы | 36 | Серр Ж.-П. — Абелевы l-адические представления и эллиптические кривые | 114 | Гамкрелидзе Р.В. (ред.) — Итоги науки и техники: современные проблемы математики. Фундаментальные направления (том 57) | 32, 41 | Мао В. — Современная криптография: теория и практика | 46, 559 | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 476, 483 | Савчук В.П. — Байесовские методы статистического оценивания. Надежность технических объектов | 15 | Багров В.Г., Белов В.В., Задорожный В.Н. — Методы математической физики. Том 4. Уравнения математической физики | 170 | Шторм Р. — Теория вероятности и математическая статистика. | 94 | Схоутен Я.А. — Тензорный анализ для физиков | 21, 22, 163 | Лопатинский. — Разложение полиномиальной матрицы на множители | 19, 25 |
|
|