Статья написана в соавторстве с М.В. Павловой.
Статья продолжает материалы авторов из номеров 2 и 3/4 за 1998 год.
В статье рассматриваются две версии системы автоматизации поиска решений, предназначенные для решения задач, описываемых формулами исчисления высказываний.
Для пополнения баланса выберите страну, оператора и отправьте СМС с кодом на указанный номер. Отправив одну смс, вы получаете доступ к одной статье.
Закрыть