Vertaling van "Logique multi-sortes " (Frans → Engels) :

calcul multi-sortes [ logique multi-sortes ]
two-sorted predicate logic [ two-sorted logic | many-sorted logic | many-sorted calculus ]

logique multivaluée | logique multi-valuée
multi-value logic | multi-valued logic

résolution multi-sortes
many-sorted resolution

théorie multi-sortes
many-sorted theory

logique à transistors multi-émetteurs et couplage à transistors | logique transistor-transistor
transistor-transistor-logic | TTL [Abbr.]