![](/statics/img/blank.png)
UNB Theorem Prover?
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 4.0/5 - 3 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О UNB Theorem Prover?
Автоматизированная теорема Prover реализована в Java и с использованием деревьев оговорок. Это программное обеспечение будет в состоянии читать математические теоремы из TPTP и доказать или опровергнуть их.