 |
объективное средство
| сопоставления
| производительности
| различных
| решателей задач выполнимости формул в теориях
| объективное средство | |
| scient. | objective means |
| сопоставление | |
| gen. | comparison; juxtaposition; contrast; confrontation; commensuration; size-up |
| производительность | |
| chess.term. gen. | production |
| различный | |
| gen. | diverse |
| решатель задач выполнимости формул в теориях | |
| AI. | SMT solver |
| |||
| objective means (Alex_Odeychuk) | |||
| объективное средство: 5 phrases in 4 subjects |
| Artificial intelligence | 1 |
| Aviation | 2 |
| General | 1 |
| Military | 1 |
The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Add | The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Report an error
| Get short URL | Language Selection Tips