- Заявка: № 21565
- Дата размещения: 28.01.2016 14:53
- Просмотрено: 1152 раз.
проверка набора основных примеров на противоречивость
язык логики предикатов. следует разработать программу, которая будет выполнять проверку набора основных примеров на противоречивость.