Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!

Traduction de «Démonstration automatique de théorèmes » (Français → Anglais) :

TERMINOLOGIE
voir aussi les traductions en contexte ci-dessous

démonstration automatique de théorèmes | démonstration automatisée de théorèmes | preuve automatique de théorèmes | démonstration mécanique de théorèmes

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

automatic theorem proving | automated theorem proving | mechanical theorem proving

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

démonstration automatique de théorèmes [ preuve automatique de théorèmes | démonstration automatisée de théorèmes ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

automatic theorem proving [ automated theorem proving ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

démonstrateur de théorèmes | démonstration automatique de théorèmes

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

automatic deduction | mechanical theorem proving

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

démonstrateur de théorème [ démonstrateur automatique de théorèmes | démonstrateur ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

theorem prover [ prover | automatic theorem prover | theorem proving program | proof-finding program ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

démonstrateur automatique de théorème | démonstrateur automatisé de théorème

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

automatic theorem prover | ATP | mechanical theorem prover | automated theorem prover

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

démonstration mécanique de théorèmes

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

mechanical theorem proving

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

démonstration de théorèmes | preuve de théorème | preuve de théorèmes

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

theorem proving

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

démonstration de théorèmes | preuve de théorèmes

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

theorem proving

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

technique de démonstration de théorèmes

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

technique for demonstrating theorems

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

TRADUCTIONS EN CONTEXTE

- Démonstration du bien-fondé et de l'acceptabilité de dispositifs d'étiquetage, de poursuite et de repérage par des capteurs statiques et mobiles multiples améliorant la capacité de localiser, d'identifier et de suivre les mouvements des valeurs mobilières, des marchandises et des personnes, y compris des techniques de documentation intelligente (biométrie, puces automatiques de positionnement, par exemple) et d'analyse de données (contrôle et accès à distance).

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2017-12-31]

- Demonstration of the appropriateness and acceptability of tagging, tracking and tracing devices by static and mobile multiple sensors that improve the capability to locate, identify and follow the movement of mobile assets, goods and persons, including smart documentation (e.g. biometrics, automatic chips with positioning) and data analysis techniques (remote control and access).

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2017-12-31]

https://eur-lex.europa.eu/lega (...) [HTML] [2017-12-31]

a) dans le cas d’une arme automatique, elle est utilisée à l’occasion pour des tirs d’essai ou des démonstrations à un champ de tir entretenu par le ministre de la Défense nationale en vertu de la Loi sur la défense nationale;

http://laws-lois.justice.gc.ca (...) (...) [HTML] [2014-09-25]

(a) in the case of an automatic firearm, if it is being used for test firing or demonstration purposes on an occasional basis, at a shooting range maintained by the Minister of National Defence under the National Defence Act; and

http://laws-lois.justice.gc.ca (...) (...) [HTML] [2014-09-25]

http://laws-lois.justice.gc.ca (...) [HTML] [2014-09-25]

SE FÉLICITE de la réussite du lancement du laboratoire Columbus de l'ESA ainsi que du succès des démonstrations du Véhicule de transfert automatique «Jules Verne», qui constituent de véritables projets européens de développement technologique et des éléments essentiels pour assurer l'accès de l'Europe à la Station spatiale internationale (ISS) et son utilisation durable,

http://eur-lex.europa.eu/legal (...) (...) [HTML] [2008-09-25]

WELCOMES the successful launch of the ESA Columbus laboratory and the successful demonstrations of the Automated Transfer Vehicle ‘Jules Verne’ as truly European technology development projects and crucial elements for ensuring European access to the International Space Station ISS and its sustained utilisation;

http://eur-lex.europa.eu/legal (...) (...) [HTML] [2008-09-25]

http://eur-lex.europa.eu/legal (...) [HTML] [2008-09-25]

Une question soulevée par certaines autorités de contrôle nationales était de savoir si, afin de sanctionner un professionnel pour violation des articles 6 à 9 de la DPCD, il fallait démontrer que, par son comportement, il manquait à son obligation de diligence professionnelle. La Commission considère que cette démonstration ne s’impose pas et qu’il y a violation automatique de la diligence professionnelle en cas d’action ou d’omission trompeuse ou de pratique agressive.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2005-05-10]

One issue raised by some national enforcers was whether, in order to penalise a trader for a breach of Articles 6 to 9 of the UCPD, it had to be demonstrated that the conduct was in breach of ‘professional diligence’. The Commission considers that there is no such need and that professional diligence is automatically violated in the event of a misleading action, omission or aggressive practice.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2005-05-10]

https://eur-lex.europa.eu/lega (...) [HTML] [2005-05-10]

For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!

http://eur-lex.europa.eu/legal (...) (...) [HTML] [2005-05-10]

http://eur-lex.europa.eu/legal (...) [HTML] [2005-05-10]

http://eur-lex.europa.eu/legal (...) (...) [HTML] [2003-12-31]

http://eur-lex.europa.eu/legal (...) [HTML] [2003-12-31]

D'autre part, l'Institut public de météorologie et d'hydrologie recevra un soutien de LIFE pour utiliser les technologies avancées, notamment l'information par satellite, dans un projet de démonstration relatif à une station automatique, en vue d'améliorer la qualité et la quantité de données hydrologiques disponibles pour des modèles de prévision des inondations dans certaines zones à haut risque.

http://europa.eu/rapid/press-r (...) (...) [HTML] [1999-08-30]

On the other hand the public Institute of Meteorology and Hydrology will be supported by LIFE in order to provide a valid demonstration using high technology, including satellite information, in an automatic station with the aim to improve the quality and quantity of hydrological data for flood forecasting models in some high risk areas.

http://europa.eu/rapid/press-r (...) (...) [HTML] [1999-08-30]

http://europa.eu/rapid/press-r (...) [HTML] [1999-08-30]

L'Institute of Fresh Water Technology présentera des démonstrations concernant l'utilisation combinée d'un système de contrôle automatique et d'un programme de modélisation dynamique en vue d'optimiser la gestion des réservoirs et des lacs de plaine.

http://europa.eu/rapid/press-r (...) (...) [HTML] [1998-07-26]

The Institute of Freshwater Ecology will demonstrate how a combination of automatic monitoring and dynamic modelling can be used to optimise the management of lowland reservoirs and lakes.

http://europa.eu/rapid/press-r (...) (...) [HTML] [1998-07-26]

http://europa.eu/rapid/press-r (...) [HTML] [1998-07-26]

Le comité a en outre recueilli les opinions du Bitcoin Strategy Group; de l'entreprise de transactions bitcoin CAVirtEX; et de Bit Access, un fabricant de guichet automatique bitcoin qui a présenté au comité une démonstration en direct d'un guichet automatique bitcoin afin d'acheter quelques bitcoins.

http://www.parl.gc.ca/content/ (...) (...) [HTML]

The committee has also heard from the Bitcoin Strategy Group; the bitcoin exchange, CAVirtEX; and Bit Access, the makers of the bitcoin ATM who gave a live demonstration and purchase of some bitcoin using the ATM here at committee.

http://www.parl.gc.ca/content/ (...) (...) [HTML]

http://www.parl.gc.ca/content/ (...) [HTML]

Le comité a également reçu le Bitcoin Strategy Group, la bourse bitcoin CAVirtEX et Bit Access, fabricant des guichets automatiques de bitcoin, qui nous a fait une démonstration en direct de l'achat de bitcoins à l'aide d'un guichet automatique ici devant le comité.

http://www.parl.gc.ca/content/ (...) (...) [HTML]

The committee also heard from the Bitcoin Strategy Group, the bitcoin exchange CAVirtEX, and Bit Access, makers of the bitcoin ATM, who gave a live demonstration and purchase of some bitcoin using the ATM here at committee.

http://www.parl.gc.ca/content/ (...) (...) [HTML]

http://www.parl.gc.ca/content/ (...) [HTML]

D'autres ont cherché : démonstrateur démonstrateur automatique de théorème démonstrateur automatique de théorèmes démonstrateur automatisé de théorème démonstrateur de théorème démonstrateur de théorèmes démonstration automatique de théorèmes démonstration automatisée de théorèmes démonstration de théorèmes démonstration mécanique de théorèmes preuve automatique de théorèmes preuve de théorème preuve de théorèmes technique de démonstration de théorèmes Démonstration automatique de théorèmes

datacenter (12): www.wordscope.fr (v4.0.br)

Démonstration automatique de théorèmes ->

Date index: 2023-04-03