Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Calcul de séquent
Calcul de séquents
Calcul des séquents
Déduction naturelle
Règle de séquent
Séquent

Traduction de «Séquent » (Français → Anglais) :

TERMINOLOGIE
voir aussi les traductions en contexte ci-dessous




déduction naturelle | calcul des séquents | calcul de séquents

natural deduction | sequent calculus


TRADUCTIONS EN CONTEXTE
Séquent développe, fabrique et commercialise des serveurs pour systèmes ouverts, ainsi que certains périphériques et services connexes.

Sequent develops, manufactures and markets open system servers and certain related peripherals and services.


La Commission européenne a autorisé International Business Machines Corporation ("IBM"), États-Unis, à acquérir Sequent Computer Systems Inc ("Sequent"), États-Unis.

The European Commission has authorized the acquisition of Sequent Computer Systems Inc ("Sequent"), USA, by International Business Machines Corporation ("IBM"), USA.


Sequent ne détenant qu'une part de marché très peu importante dans ces deux secteurs, l'opération ne pose pas de problèmes sous l'angle de la concurrence, et la Commission l'a par conséquent déclarée compatible avec le marché commun et l'accord EEE.

Given Sequent's very low market share in servers and IT-services, the transaction will give no raise to competition concerns. The Commission, therefore, has declared the transaction compatible with the common market and with the EEA Agreement.


La Commission autorise IBM (Etats-Unis) à acquérir Sequent (Etats-Unis)

Commission authorizes the acquisition of Sequent by IBM (both USA)




D'autres ont cherché : calcul de séquent     calcul de séquents     calcul des séquents     déduction naturelle     règle de séquent     séquent     Séquent     


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

Séquent ->

Date index: 2021-11-13
w