Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Many-sorted calculus
Many-sorted logic
Two-sorted logic
Two-sorted predicate logic
Two-type logic
Two-valued logic

Translation of "two-sorted logic " (English → French) :

TERMINOLOGY
see also In-Context Translations below
two-sorted predicate logic [ two-sorted logic | many-sorted logic | many-sorted calculus ]
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
calcul multi-sortes [ logique multi-sortes ]
Artificial Intelligence
Intelligence artificielle
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
two-type logic
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
logique à deux types
Artificial Intelligence
Intelligence artificielle
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
two-valued logic
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
logique bivaluée
Artificial Intelligence
Intelligence artificielle
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
IN-CONTEXT TRANSLATIONS
The other thing is that I think the preoccupation was that Quebec courts be represented, and it was sort of a logical conclusion that you would name the two principal courts in Quebec.
http://www.parl.gc.ca/content/ (...) (...) [HTML]
L'autre aspect est que je pense que la préoccupation était que les tribunaux du Québec soient représentés et il était donc logique de nommer les deux principaux tribunaux du Québec.
http://www.parl.gc.ca/content/ (...) (...) [HTML]
http://www.parl.gc.ca/Content/ (...) [HTML]


Others have searched : many-sorted calculus    many-sorted logic    two-sorted logic    two-sorted predicate logic    two-type logic    two-valued logic    


www.wordscope.com (v4.0.br.77)

'two-sorted logic'

Date index:2021-07-22 -

Pour agences de traduction et traducteurs - For translation agencies & translators

Paris - Brussels - Montreal - Genève - Luxembourg - Madrid

Wordscope - Professional computer-assisted translation tools (CAT tools)