|
|
 |
| Результат поиска |
Поиск книг, содержащих: Предложение (sentence)
| Книга | Страницы для поиска | | Клоксин У., Меллиш К. — Программирование на языке пролог | 234, 238 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | см. «Цепочка» | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ) | см. «Цепочка» | | Чёрч А. — Введение в математическую логику (том 1) | § 04, п. 117, § 10, § 30, 39.10, § 50 | | Карри Х.Б. — Основания математической логики | 63, 136, 252 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 96 | | Хоггер К. — Введение в логическое программирование | 16, 22—23 | | Линдон Р. — Заметки по логике | 25, 35 | | Шенфилд Дж. — Степени неразрешимости | 113 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 133, 291 | | Хоггер К. — Введение в логическое программирование | 16, 22—23 | | Доорс Дж. — Пролог — язык программирования будущего | 21 | | Грис Д. — Конструирование компиляторов для цифровых вычислительных машин | 37 | | Вайнгартен Ф. — Трансляция языков программирования | 41 |
|
|
|
|
О проекте