Vertalingen démonstrateur de théorèmes FR>EN
| démonstrateur de théorèmes | automatic deduction ; mechanical theorem proving ; theorem prover |
Bron: Download IATE, European Union, 2017.Voorbeeldzinnen met `démonstrateur de théorèmes`
Voorbeeldzinnen laden....
