|
|
 |
| Результат поиска |
Поиск книг, содержащих: Переменная (variable)
| Книга | Страницы для поиска | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 36 | | Ахо А., Хопкрофт Дж., Ульман Дж. — Построение и анализ вычислительных алгоритмов | см. «Адрес символический» | | Клоксин У., Меллиш К. — Программирование на языке пролог | 22, 43 | | Шенфилд Дж. — Математическая логика | 20, 28, 31, 318 | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 64 | | Чёрч А. — Введение в математическую логику (том 1) | § 02, п. 24, п. 26, п. 31, п. 112, п. 117 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 92, 93 | | Хоггер К. — Введение в логическое программирование | 20—22 | | Кузьменко В.Г. — Программирование на VBA 2002 | 87, 97 | | Бэстенс Д.-Э., ван Ден Берг В.-М., Вуд Д. — Нейронные сети и финансовые рынки. Принятие решений в торговых операциях | 90, 94, 101, 128, 166, 189 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 108 | | Олвер П. — Приложения групп Ли к дифференциальным уравнениям | 115 | | Клини С.К. — Введение в метаматематику | 36, 61, 67, 128, 137, 162, 223, 226, 235 | | Бурбаки Н. — Теория множеств | результаты 1 2 | | Тей А., Грибомон П., Луи Ж. — Логический подход к искусственному интеллекту | 55, 57, 143, 270 | | Хоггер К. — Введение в логическое программирование | 20—22 | | Пейган Ф. — Практическое руководство по Алголу 68 | 18 | | Бауэр Ф.Л., Гооз Г. — Информатика | 104, 182 | | Доорс Дж. — Пролог — язык программирования будущего | 17 | | Грогоно П. — Программирование на языке Паскаль | 19, 38—39, 46, 96, 100—103, 365 | | Эшби У.Р. — Введение в кибернетику | 52, 145 | | Грогоно П. — Программирование на языке Pascal | 19, 38—39, 46, 96, 100—103, 365 | | Шенфилд Дж. — Математическая логика | 20, 28, 31, 318 |
|
|
|
|
О проекте