|
|
 |
| Результат поиска |
Поиск книг, содержащих: Теорема (theorem)
| Книга | Страницы для поиска | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 13, 26 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | 32 | | Шенфилд Дж. — Математическая логика | 11, 16 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ) | 32 | | Чёрч А. — Введение в математическую логику (том 1) | § 07, § 10 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 47 | | Сьярле Ф. — Математическая теория упругости | 48, 49, 70, 72, 195, 196 | | Панагиотополус П. — Неравенства в механике и их приложения. Выпуклые и невыпуклые функции энергии | 10, 29, 40, 44, 310 | | Оллонгрен А. — Математическое обеспечение ЭВМ. Определение языков программирования интерпретирующими автоматами | 22 | | Шенфилд Дж. — Математическая логика | 11, 16 |
|
|
|
|
О проекте