Автоматическое доказательство теорем
method
ID: automatedtheoremproving
Детали сущности
Основная информация
ID сущности
automatedtheoremproving
Тип сущности
Method
Английская метка
Automated Theorem Proving
Русская метка
Автоматическое доказательство теорем
Казахская метка
Автоматты теорема дәлелдеу
Частота
2
Описание
Английское описание
A method for validating logical statements and verifying the consistency of knowledge bases.
Русское описание
-
Казахское описание
-