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

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

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

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