automatic theorem prover
| for
| SMT problems
| automatic theorem prover abbr. | |
| AI. | автоматический доказатель теорем |
| IT | программа автоматического доказательства теорем |
| for abbr. | |
| gen. | ибо; для; от; на расстояние; вместо; ради |
| SMT problem abbr. | |
| AI. | задача выполнимости формул в теориях |
|
automatic theorem prover : 4 phrases in 1 subject |
| Artificial intelligence | 4 |