|
|
 |
| Результат поиска |
Поиск книг, содержащих: ИМЯ (NAME)
| Книга | Страницы для поиска | | Ахо А., Хопкрофт Дж., Ульман Дж. — Построение и анализ вычислительных алгоритмов | 58, 153 | | Гренандер У. — Лекции по теории образов (Том 3. Регулярные структуры) | 346 | | Чёрч А. — Введение в математическую логику (том 1) | § 01, п. 4, п. 7 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 132 | | Девис М. — Прикладной нестандартный анализ | 48 | | Клини С.К. — Введение в метаматематику | 68, 224, 225, 237 | | Пейган Ф. — Практическое руководство по Алголу 68 | 18 | | Бауэр Ф.Л., Гооз Г. — Информатика | 104 | | Грогоно П. — Программирование на языке Паскаль | 34—35, 40, 91 | | Грогоно П. — Программирование на языке Pascal | 34—35, 40, 91 |
|
|
|
|
О проекте