|
|
 |
| Результат поиска |
Поиск книг, содержащих: Резольвента (resolvent)
| Книга | Страницы для поиска | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 85 | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 2. Методы и системы программирования | 95 | | Хайрер Э., Нёрсетт С., Ваннер Г. — Решение обыкновенных дифференциальных уравнений. Нежесткие задачи | 70, 72, 75, 79, 105 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 54 | | Хоггер К. — Введение в логическое программирование | 32, 286 | | Хоггер К. — Введение в логическое программирование | 32, 286 | | Обен Ж.-П., Экланд И. — Прикладной нелинейный анализ | 362 | | Альбеверио С. — Нестандартные методы в стохастическом анализе и математической физике | 275 |
|
|
|
|
О проекте