Логический доказатель
material
ID: logicprover
Детали сущности
Основная информация
ID сущности
logicprover
Тип сущности
Material
Английская метка
Logic Prover
Русская метка
Логический доказатель
Казахская метка
Логикалық дәлелдеу
Частота
2
Описание
Английское описание
A tool that applies logic to derive conclusions from premises.
Русское описание
-
Казахское описание
-