Se connecter | French | Conditions d'utilisation
DictionnaireLe forumContacts

   Anglais ⇄ +
Google | Forvo | +
phrases

theorem prover

informat. Theorembeweise; Beweisfindungsverfahren n
intell. Theorembeweiser
theorem prover
: 12 phrases, 3 sujets
Général1
Informatique2
Intelligence artificielle9

Ajouter | Signaler une erreur | Obtenir une URL courte