Traduction de «preuve 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]

analyse automatique des théorèmes

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

automatic theorem analysis

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]

TRADUCTIONS EN CONTEXTE

Un document envoyé ou notifié au moyen de ce système est considéré comme équivalent à un document papier, est recevable comme preuve en justice, est réputé constituer le document original et bénéficie d’une présomption légale quant à son authenticité et à son intégrité, pour autant qu’il ne contienne pas de caractéristiques dynamiques susceptibles de le modifier automatiquement.

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

A document sent or notified through such a system shall be considered as equivalent to a paper document, shall be admissible as evidence in legal proceedings, shall be deemed to be the original of the document and shall enjoy legal presumption of its authenticity and integrity, provided it does not contain any dynamic features capable of automatically changing it.

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

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

Un document envoyé ou notifié au moyen de ce système est considéré comme équivalent à un document papier, est recevable comme preuve en justice, est réputé original et bénéficie d’une présomption légale quant à son authenticité et à son intégrité, pour autant qu’il ne contienne pas de caractéristiques dynamiques susceptibles de le modifier automatiquement.

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

A document sent or notified through such a system shall be considered as equivalent to a paper document, shall be admissible as evidence in legal proceedings, shall be deemed original and shall enjoy legal presumption of its authenticity and integrity, provided it does not contain any dynamic features capable of automatically changing it.

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

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

2. Les États membres peuvent prévoir que les établissements de paiement visés au paragraphe 1 du présent article sont automatiquement agréés et inscrits dans les registres visés aux articles 14 et 15 si les autorités compétentes ont déjà la preuve du respect des exigences fixées aux articles 5 et 11.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2015-11-24]

2. Member States may provide for payment institutions referred to in paragraph 1 of this Article to be automatically granted authorisation and entered in the registers referred to in Articles 14 and 15 if the competent authorities already have evidence that the requirements laid down in Articles 5 and 11 are complied with.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2015-11-24]

https://eur-lex.europa.eu/lega (...) [HTML] [2015-11-24]

Preuve de l’infraction: la décision finale de l’autorité nationale de concurrence sur une infraction constitue automatiquement une preuve de cette infraction devant les tribunaux du pays de l’UE où l’infraction est survenue.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2014-11-25]

Proof of infringement: the national competition authority’s final decision on an infringement automatically constitutes proof of that infringement before the courts of the EU country in which the infringement took place.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2014-11-25]

https://eur-lex.europa.eu/lega (...) [HTML] [2014-11-25]

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

Preuve de l’infraction: la décision finale de l’autorité nationale de concurrence sur une infraction constitue automatiquement une preuve de cette infraction devant les tribunaux du pays de l’UE où l’infraction est survenue.

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

Proof of infringement: the national competition authority’s final decision on an infringement automatically constitutes proof of that infringement before the courts of the EU country in which the infringement took place.

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

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

Si un demandeur fournit la preuve d’un autre type de contrat de travail, par exemple un contrat temporaire pouvant être prolongé, les États membres sont encouragés à ne pas rejeter automatiquement la demande sur la seule base de la nature du contrat.

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

If an applicant submits proof of another type of employment contract, for instance, a temporary contract that can be prolonged, MSs are encouraged not to automatically reject the application based solely on the nature of the contract.

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

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

Un document envoyé ou notifié au moyen de ce système est considéré comme équivalent à un document papier, est recevable comme preuve en justice, est réputé constituer le document original et bénéficie d’une présomption légale quant à son authenticité et à son intégrité, pour autant qu’il ne contienne pas de caractéristiques dynamiques susceptibles de le modifier automatiquement.

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

A document sent or notified through such a system shall be considered as equivalent to a paper document, shall be admissible as evidence in legal proceedings, shall be deemed to be the original of the document and shall enjoy legal presumption of its authenticity and integrity, provided it does not contain any dynamic features capable of automatically changing it.

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

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

Un document envoyé ou notifié au moyen de ce système est considéré comme équivalent à un document papier, est recevable comme preuve en justice, est réputé original et bénéficie d’une présomption légale quant à son authenticité et à son intégrité, pour autant qu’il ne contienne pas de caractéristiques dynamiques susceptibles de le modifier automatiquement.

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

A document sent or notified through such a system shall be considered as equivalent to a paper document, shall be admissible as evidence in legal proceedings, shall be deemed original and shall enjoy legal presumption of its authenticity and integrity, provided it does not contain any dynamic features capable of automatically changing it.

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

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

3. Les États membres peuvent prévoir l'agrément et l'inscription automatiques dans le registre prévu à l'article 13 des personnes morales visées au paragraphe 1 si les autorités compétentes ont déjà la preuve du respect des exigences fixées aux articles 5 et 10.

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

3. Member States may provide that legal persons referred to in paragraph 1 shall be automatically granted authorisation and entered into the register provided for in Article 13 if the competent authorities already have evidence that the requirements laid down in Articles 5 and 10 are complied with.

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

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

3. Les États membres peuvent prévoir l'agrément et l'inscription automatiques dans le registre prévu à l'article 13 des personnes morales visées au paragraphe 1 si les autorités compétentes ont déjà la preuve du respect des exigences fixées aux articles 5 et 10.

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

3. Member States may provide that legal persons referred to in paragraph 1 shall be automatically granted authorisation and entered into the register provided for in Article 13 if the competent authorities already have evidence that the requirements laid down in Articles 5 and 10 are complied with.

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

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

D'autres ont cherché : analyse automatique des théorèmes 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

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

preuve automatique de théorèmes ->

Date index: 2022-06-18