 |
theorem proving
| program
| theorem proving | |
| AI. | Theorembeweisen |
| program | |
| construct. | Ausstattungsprogramm; Baubetriebsplan; Bauablaufplan |
| programme | |
| 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 | Information technology | 4 | Technology | 1 |
| General | 1 | Optics branch of physics | 1 |