ВикиПротопия:Автоматическое докозательство

Материал из ВикиПротопии
Перейти к: навигация, поиск

набор информации, онтология, метода автоматического доказательства, гомотопическая теория типов позволяют делать хорошие прогностические утверждения на основании принципов изложенных в формальной логике и использующих онтологию.

источники информации