|
|
 |
| Результат поиска |
Поиск книг, содержащих: Семантика (semantics)
| Книга | Страницы для поиска | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 69 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | 71—74, 243—246 | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 32, 101 | | Гренандер У. — Лекции по теории образов (Том 3. Регулярные структуры) | 344, 346, 370 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ) | 71—74, 243—246 | | Чёрч А. — Введение в математическую логику (том 1) | § 09, п. 140 | | Хоггер К. — Введение в логическое программирование | 281 | | Гренандер У. — Лекции по теории образов (Том 2. Анализ образов) | 70 | | Вайнгартен Ф. — Трансляция языков программирования | 38—39 |
|
|
|
|
О проекте