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

Версия 07:01, 29 декабря 2018

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

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

• http://raai.org/news/pii/ppt/2018/lux-present2018.pdf