4258
правок
Изменения
Новая страница: «набор информации, онтология, метода автоматического доказательства, гомотопическая тео…»
набор информации, онтология, метода автоматического доказательства, гомотопическая теория типов позволяют делать хорошие прогностические утверждения на основании принципов изложенных в формальной логике и использующих онтологию.
==источники информации==
*http://raai.org/news/pii/ppt/2018/lux-present2018.pdf
*
==источники информации==
*http://raai.org/news/pii/ppt/2018/lux-present2018.pdf
*