Imparare a tradurre dagli esempi di traduzione forniti da contributi umani.
Da: Traduzione automatica
Suggerisci una traduzione migliore
Qualità:
Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
provar la deductibilitat de teoremes aplicant les regles bàsiques d ' inferència d ' un càlcul deductiu .
probar la deductibilidad de teoremas aplicando las reglas básicas de inferencia de un cálculo deductivo .
Ultimo aggiornamento 2015-10-18
Frequenza di utilizzo: 1
Qualità: