Процедура доказательства
method
ID: proofprocedure
Детали сущности
Основная информация
ID сущности
proofprocedure
Тип сущности
Method
Английская метка
Proof Procedure
Русская метка
Процедура доказательства
Казахская метка
Дәлелдеу процедурасы
Частота
1
Описание
Английское описание
A systematic way to prove the validity of statements in formal systems, used for parsing.
Русское описание
-
Казахское описание
-