 |
| |||
| ATP system (сокр. от "automated theorem proving system" Alex_Odeychuk); proof assistant (Alex_Odeychuk); automated theorem prover (Microsoft Alex_Odeychuk); automated theorem proving system (Alex_Odeychuk) | |||
| |||
| theorem prover (Alex_Odeychuk) | |||
| система автоматического доказательства теорем: 4 phrases in 1 subject |
| Artificial intelligence | 4 |