Проект по математической логике

Андрей15 лет в сервисе
Данные заказчика будут вам доступны после подачи заявки
13.12.2009

Необходима разработка учебной программы на C++ на тему Метод резолюций в логике предикатов. Подробнее в архиве. Пишите в icq#:462595

Бюджет 30$ - либо 900WMR