Бірінші ретті теоремаларды дәлелдеу
method
ID: firstordertheoremproving
Нысан мәліметтері
Негізгі ақпарат
Нысан ID
firstordertheoremproving
Нысан түрі
Method
Ағылшын белгісі
First Order Theorem Proving
Орыс белгісі
Доказательство теорем первого порядка
Қазақ белгісі
Бірінші ретті теоремаларды дәлелдеу
Жиілік
1
Сипаттама
Ағылшын сипаттамасы
A method for proving logical statements in first-order logic.
Орыс сипаттамасы
-
Қазақ сипаттамасы
-