|
|
 |
| Результат поиска |
Поиск книг, содержащих: Подстановка (substitution)
| Книга | Страницы для поиска | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 80 | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 2. Методы и системы программирования | 86 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 96 | | Линдон Р. — Заметки по логике | 30—32 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 105 | | Гинзбург С. — Математическая теория контекстно-свободных языков | 57 | | Клини С.К. — Введение в метаматематику | 74, 106 | | Тей А., Грибомон П., Луи Ж. — Логический подход к искусственному интеллекту | 66, 354 | | Бауэр Ф.Л., Гооз Г. — Информатика | 20 (см. также «Отношение подстановки») | | Вайнгартен Ф. — Трансляция языков программирования | 41 | | Дэвенпорт Дж., Сирэ И., Турнье Э. — Компьютерная алгебра | 48, 54, 91 | | Писсанецки С. — Технология разреженных матриц | 69 |
|
|
|
|
О проекте