Теориялар модулі бойынша қанағаттандыру
method
ID: satisfiabilitymodulotheories
Нысан мәліметтері
Негізгі ақпарат
Нысан ID
satisfiabilitymodulotheories
Нысан түрі
Method
Ағылшын белгісі
Satisfiability Modulo Theories
Орыс белгісі
Удовлетворимость модуля теорий
Қазақ белгісі
Теориялар модулі бойынша қанағаттандыру
Жиілік
1
Сипаттама
Ағылшын сипаттамасы
A method for determining the satisfiability of logical formulas with respect to certain theories.
Орыс сипаттамасы
-
Қазақ сипаттамасы
-