theorem proving
| program
| theorem proving abbr. | |
| AI. | Theorembeweisen |
| program abbr. | |
| construct. | Ausstattungsprogramm; Baubetriebsplan; Bauablaufplan |
| programme abbr. | |
| brit. | Programm; Sendung; Theaterzettel |
| busin. | Programm |
| cultur. | Hörfunk-und Fernsehprogramm |
| tech. | Plan; Programm |
| |||
| 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 |