theorem proving
| system
| theorem proving | |
| AI. | Theorembeweisen |
| system | |
| gen. | Methode; System; Anlage |
| refrig. | System |
| tech. | Anlage; Anordnung; Bauart; Netz; Netzverbund; Bezugssystem datum |
| |||
| Theorembeweisen | |||
| Theorembeweis; Theorembeweiser; Beweissuchverfahren n; Beweisverfahren n | |||
|
theorem proving : 18 phrases in 5 subjects |
| Artificial intelligence | 11 |
| General | 1 |
| Information technology | 4 |
| Optics branch of physics | 1 |
| Technology | 1 |