Доказательство теорем первого порядка
method
ID: firstordertheoremproving
Детали сущности
Основная информация
ID сущности
firstordertheoremproving
Тип сущности
Method
Английская метка
First Order Theorem Proving
Русская метка
Доказательство теорем первого порядка
Казахская метка
Бірінші ретті теоремаларды дәлелдеу
Частота
1
Описание
Английское описание
A method for proving logical statements in first-order logic.
Русское описание
-
Казахское описание
-