Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
- Ли, Р. (1)
- Маслов, Сергей Юрьевич (1)
- Романович, Владимир Александрович (1)
- Чень, Ч. (1)
-
Locations
- Книгохранилище (2)
- Читальный зал 5 (1)
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Отдел рукописей и книжных памятников (1)
-
Item types
- Выдается в читальный зал (2)
- 1 неделя (1)
- 6 месяцев (1)
-
Topics
- Эрбрана теорема [x]
- логика высказываний (2)
- математическая логика [x]
- SLD-резолюции (1)
- V-резолюции процедура (1)
- Геделя теорема о полноте (1)
- Клини дедуктика (1)
- Правица процедура (1)
- Теоремы - Доказательство на вычислительных машинах (1)
- Эрбрана-Скулема алгоритм (1)
- алгоритм синтеза программ (1)
- алгоритм унификации (1)
- алгоритмы унификации (1)
- анализ программ (1)
- анализ релейно-контактных схем (1)
- дерево поиска (1)
- доказательства процедуры (1)
- искусственный интеллект (1)
- исчисление предикатов (1)
- логика первого порядка (1)
- логика предикатов (1)
- логические программы (1)
- логические следствия (1)
- логический анализ рассуждений (1)
- логический вывод (1)
- логическое программирование (1)
- логическое следствие (1)
- лок-резолюция (1)
- метод резолюций (1)
- множество рассогласований (1)
- обратный метод (1)
- парамодуляция (1)
- предикаты (1)
- псевдосемантические деревья (1)
- разрешимость класса формул (1)
- резолюций метод (1)
- резолюция линейная (1)
- резолюция с равенством (1)
- резолюция семантическая (1)
- рекурсия (1)
- реляционные базы данных (1)
- семантические деревья (1)
- синтез программ (1)
- синтез релейно-контактных схем (1)
- теорема дедукции (1)
- теорема о подстановке (1)
- теория поиска вывода (1)
- учебные пособия для вузов (1)
- формулы логики высказываний (1)
- формулы логики предикатов (1)
- Show more
- Show less