 |
| |||
| программа для доказательства теорем (с использованием аксиоматической базы данных) | |||
| инструмент доказательства теорем (wikipedia.org Alex_Odeychuk) | |||
| доказатель теорем (Microsoft Alex_Odeychuk); система доказательства теорем (Microsoft Alex_Odeychuk); доказыватель теорем (Alex_Odeychuk); системой автоматического доказательства теорем (Alex_Odeychuk) | |||
| утилита автоматического доказательства теорем (Alex_Odeychuk) | |||
| инструмент автоматического доказательства теорем (Alex_Odeychuk) | |||
|
theorem prover : 13 Phrasen in 5 Thematiken |
| Informationstechnik | 1 |
| Künstliche Intelligenz | 9 |
| Makarow | 1 |
| Programmierung | 1 |
| Software | 1 |