 |
Terms for subject Software containing автоматическое доказательство теорем | all forms | in specified order only
| Russian | English |
| инструмент автоматического доказательства теорем | automated theorem prover (Alex_Odeychuk) |
| инструмент автоматического доказательства теорем | prover (Alex_Odeychuk) |