Дәлелдеу процедурасы
method
ID: proofprocedure
Нысан мәліметтері
Негізгі ақпарат
Нысан ID
proofprocedure
Нысан түрі
Method
Ағылшын белгісі
Proof Procedure
Орыс белгісі
Процедура доказательства
Қазақ белгісі
Дәлелдеу процедурасы
Жиілік
1
Сипаттама
Ағылшын сипаттамасы
A systematic way to prove the validity of statements in formal systems, used for parsing.
Орыс сипаттамасы
-
Қазақ сипаттамасы
-