 |
| |||
| автоматический доказатель теорем (adacore.com Alex_Odeychuk) | |||
| automatic prover: 8 phrases in 4 subjects |
| Artificial intelligence | 5 |
| Automated equipment | 1 |
| Information technology | 1 |
| Makarov | 1 |
|
| |||
| автоматический доказатель теорем (adacore.com Alex_Odeychuk) | |||
| automatic prover: 8 phrases in 4 subjects |
| Artificial intelligence | 5 |
| Automated equipment | 1 |
| Information technology | 1 |
| Makarov | 1 |