Аватар
  • Заявка: № 21565
  • Дата размещения: 28.01.2016 14:53
  • Просмотрено: 1081 раз.

проверка набора основных примеров на противоречивость

язык логики предикатов. следует разработать программу, которая будет выполнять проверку набора основных примеров на противоречивость. 

  • Цена: 1 000 руб.
  • Заказчик: Николай
  • Тип: Другое
  • Категория: Логика
  • Статус: Поиск исполнителя