12 февраля 2012 года
Воскресенье | 10:39
Главная
Новости
Базы данных
Безопасность PC
Всё о компьютерах
Графика и дизайн
Интернет-технологии
Мобильные устройства
Операционные системы
Программирование
Программы
Связь
Сети
Документация
Статьи
Самоучители
Общение
Форум
Я ищу:
ГЛАВА 8. Логическое программирование
8.1. Формальные языки
8.1.1. Исчисление высказываний
8.1.2. Исчисление предикатов
8.2. Язык PROLOG
8.3. Опровержение резолюций
8.3.1. Принцип резолюций
8.3.2. Поиск доказательства в системе резолюций
8.4. Процедурная дедукция в системе PLANNER
8.5. PROLOG и MBASE
8.5.1. Правила поиска в языке PROLOG
8.5.2. Управление поиском в системе MBASE
Рекомендуемая литература
Упражнения
Реклама
Лента новостей
[22.09]
Apple устранила три уязвимости в MacOS
[22.09]
"МТУ-Интел" выбрал решение CommuniGate Pro для апгрейда почтового сервиса
[22.09]
Microsoft удвоила продажи в России
[22.09]
Microsoft срочно готовит заплатку для критической уязвимости в IE
[22.09]
Новый мобильный вирус обнуляет счета владельцев телефонов
[22.09]
Asus упоминает о физической карте от NVIDIA
2006 (c) Copyright Hardline.ru
Двухсторонний скотч
