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
Many-sorted resolution
Many-sorted theory
Two-sorted logic
Two-sorted predicate logic

Translation of "many-sorted calculus " (English → French) :

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]
many-sorted resolution
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
résolution multi-sortes
Artificial Intelligence
Intelligence artificielle
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
many-sorted theory
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
théorie multi-sortes
Artificial Intelligence
Intelligence artificielle
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]


Others have searched : many-sorted calculus    many-sorted logic    many-sorted resolution    many-sorted theory    two-sorted logic    two-sorted predicate logic    


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

'many-sorted calculus'

Date index:2023-07-20 -

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)