goal-directed
| theorem proving
| goal-directed | |
| AI. | zielgerichtet; zielorientiert |
| theorem proving | |
| AI. | Theorembeweisen |
| |||
| zielgerichtet; zielorientiert | |||
|
goal-directed : 23 phrases in 4 subjects |
| Artificial intelligence | 14 |
| British usage, not spelling | 1 |
| General | 3 |
| Information technology | 5 |