##

TECHDICO

Dictionnaire technique français<>anglais / English<>French technical dictionary &
Moteur de recherche de traduction / Translation search engine




démonstrateur de théorèmes

TRADUCTION MOT A MOT / WORD-FOR-WORD TRANSLATION
démonstrateur: demonstrationenvironnement / environment - iate.europa.eu // santrans.net
demonstratoremploi et travail / employment and working conditions - iate.europa.eu // santrans.net


GLOSSAIRE / GLOSSARY
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

##