| automatisch bewijzen van theorema`s: | een methode waarbij een theorema wordt bewezen, bijvoorbeeld door het gebruik van deductieve logica |
| automatisch bewijzen van theorema`s: | een werkmethode voor het automatisch genereren van bewijzen |
Woorden zoeken
- Woorden A-Z
© SWC. Woorden-Boek.nl zoekt in 104.342 woorden.