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