##

TECHDICO

Dictionnaire technique français<>anglais / English<>French technical dictionary
Votre Assistant de traduction / Your Translation Assistant



démonstrateur de théorèmes

TRADUCTION INTEGRALE / FULL TRANSLATION
démonstrateur de théorèmes

theorem prover

intelligence artificielle / artificial intelligence - acta.es
démonstrateur de théorèmes

automatic deduction

informatique et traitement des données / information technology and data processi - iate.europa.eu // santrans.net
démonstrateur de théorèmes

mechanical theorem proving

informatique et traitement des données / information technology and data processi - iate.europa.eu // santrans.net





Télécharger dans l AppstoreAppli android sur Google Play

iate.europa.eu translations processed by santrans.net

##