|
|
 |
| Результат поиска |
Поиск книг, содержащих: Атом (atom)
| Книга | Страницы для поиска | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | см. также «Атомарная формула» | | Клоксин У., Меллиш К. — Программирование на языке пролог | 42 | | Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств | 53 | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 64 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 15, 94 | | Хобби Д., Маккензи Р. — Строение конечных алгебр | 34 | | Нельсон Е. — Радикально элементарная теория вероятностей | 5 | | Оллонгрен А. — Математическое обеспечение ЭВМ. Определение языков программирования интерпретирующими автоматами | 103 | | Бауэр Ф.Л., Гооз Г. — Информатика | 391 | | Кларк Э.М., Грамберг О., Пелед Д. — Верификация моделей программ: Model Checking | 73 | | Эшби У.Р. — Введение в кибернетику | 368 | | Тан К.Ш., Стиб В.-Х., Харди Й. — Символьный C++ | 383 |
|
|
|
|
О проекте