|
|
 |
| Результат поиска |
Поиск книг, содержащих: Черч
| Книга | Страницы для поиска | | Шеннон К. — Работы по теории информации и кибернетике | 781 | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 104 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 13, 14, 19, 32, 265 | | Клайн М. — Математика. Утрата определенности | 266, 310, 315, 373 | | Хант Э. — Искусственный интеллект | 329, 354 | | Клайн М. — Математика. Поиск истины | 233 | | Клайн М. — Математика. Утрата определенности | 266, 310, 315, 373 |
|
|
|
|
О проекте